Binding Application in Idris (via ehamberg) — discussion

#plt