issues
search
broom-lang
/
broom
A programming language with first-class modules and algebraic effects.
https://broom.readthedocs.io
BSD 3-Clause "New" or "Revised" License
10
stars
1
forks
source link
Complete initial type checker
#68
Open
nilern
opened
4 years ago
nilern
commented
4 years ago
[x] #75 Kinds
[x] #76 Polykinds
[ ] #10 Implicits
[ ] #41 Lacks constraints
[ ] #20 Readable type errors
[ ] #71 Multiple type errors