repositories / cc1516.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
stub for typechecking
[cc1516.git] / type.icl
1 implementation module type
2
3 freeVar :: State
4
5 :: Environment :== Map String Type
6
7
8
9 State (String, Environment)
Unnamed repository; edit this file 'description' to name the repository.