F franklin.dyer.me Totality and non-standard recursion in Idris 6 points franklin_p_dyer 2 years ago 1 comments
