Giters
SoftwareFoundationGroupAtKyotoU
/
SystemFg
Implementation of Polymorphic Gradual Typing
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
10
Watchers:
17
Issues:
2
Forks:
SoftwareFoundationGroupAtKyotoU/SystemFg Issues
compile error in `make depend`: cogen.ml#L9
Closed
6 years ago
Comments count
2
`menhir` is required, but it's not documented or checked
Closed
6 years ago
Comments count
1