need to import Data.Vect and Data.Fin for interp.idr to compile
commit8518aa37e90f3ee49b3bb2ce0e8c41a3d12bc228
authoranthony cantor <cantora@gubbi.mobi>
dateSun 19 Jul 2015, 00:47 (11 years ago)
parentca623ce
samples/tutorial/interp.idr+3
@@ -1,5 +1,8 @@
11module Main
22
3+import Data.Vect
4+import Data.Fin
5+
36data Ty = TyInt | TyBool| TyFun Ty Ty
47
58interpTy : Ty -> Type