Merge pull request #2447 from cantora/imports-in-interp-example
need to import `Data.Vect` and `Data.Fin` for `interp.idr` to compile
commit062b06944e0322198917cbf54c78cd59dbde5b82
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateSun 19 Jul 2015, 11:50 (11 years ago)
parentca623ce8518aa3
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