Fix sample code
Fixes #4651
commite51954faa711553ce6ff13d00918029e3af62250
authorMarkus Klink <justjoheinz@gmail.com>
dateWed 30 Jan 2019, 14:59 (8 years ago)
parentc060a88
docs/tutorial/interp.rst+1−1
@@ -30,7 +30,7 @@ calculated just like any other value:
3030 interpTy : Ty -> Type
3131 interpTy TyInt = Integer
3232 interpTy TyBool = Bool
33− interpTy (TyFun A T) = interpTy A -> interpTy T
33+ interpTy (TyFun a t) = interpTy a -> interpTy t
3434
3535We're going to define a representation of our language in such a way
3636that only well-typed programs can be represented. We'll index the