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
Refactor well-foundedness analysis
#30
Closed
nilern
closed
5 years ago
nilern
commented
5 years ago
Simplify it until it can be formalized.
Simplify it until it can be formalized.