# content
Binding Application in Idris (via ehamberg) — discussion

#plt