Totality and non-standard recursion in Idris(franklin.dyer.me)4 points by franklin_p_dyer 2 years ago | 0 comments