repositories
/
minfp.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
8881226c35cbe418bae6e3953d09511624450552
[minfp.git]
/
check.dcl
1
definition module check
2
3
from Data.Either import :: Either
4
from ast import :: AST
5
6
:: Type
7
check :: AST -> Either [String] (Type, AST)