Danila Fedorin d64a0d1fcd Add version of typesafe interpreter with tuples.

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

..

TypesafeIntr.idr

…

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