5 Commits

Author	SHA1	Message	Date
Danila Fedorin	b078ef9a22	Remove implicit arguments from TypsafeIntrV2.	2020-07-22 14:30:47 -07:00
Danila Fedorin	1f734a613c	Add the second part of the typechecking post.	2020-07-19 22:56:44 -07:00
Danila Fedorin	a3c299b057	Start working on the improved type-safe interpreter.	2020-07-19 17:16:31 -07:00
Danila Fedorin	33b1457e91	Add first draft of Idris post	2020-02-29 16:12:12 -08:00
Danila Fedorin	9e399ebe3c	Add initial draft of typesafe interpreter post	2020-02-27 23:09:51 -08:00