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