Merge pull request #4652 from justjoheinz/patch-5
Fix sample code
commit5268db5fca0fbbb22409b8cda6c9a3b0251e324a
authorNiklas Larsson <metaniklas@gmail.com>
dateWed 27 Feb 2019, 01:06 (8 years ago)
parent760c8cee51954f
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