Danila Fedorin 1f734a613c Add the second part of the typechecking post.		2020-07-19 22:56:44 -07:00
..
TypesafeIntr.idr	Add first draft of Idris post	2020-02-29 16:12:12 -08:00
TypesafeIntrV2.idr	Add the second part of the typechecking post.	2020-07-19 22:56:44 -07:00