Danila Fedorin d64a0d1fcd Add version of typesafe interpreter with tuples.

2020-07-23 16:38:54 -07:00

..

TypesafeIntr.idr

Add first draft of Idris post

2020-02-29 16:12:12 -08:00

TypesafeIntrV2.idr

Remove implicit arguments from TypsafeIntrV2.

2020-07-22 14:30:47 -07:00

TypesafeIntrV3.idr

Add version of typesafe interpreter with tuples.

2020-07-23 16:38:54 -07:00