Giters
egison
/
typed-egison
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
17
Watchers:
5
Issues:
6
Forks:
1
egison/typed-egison Issues
Make print-env
Closed
5 years ago
Make subtyping relations in function contravariant.
Updated
6 years ago
Loop pattern
Updated
6 years ago
Debug LetRec
Closed
6 years ago
disable-type-inference-of
Closed
6 years ago
Impliment Or and And pattern
Updated
6 years ago