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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Vim mode
#36
nilern
opened
4 years ago
0
`do` vs. `begin`/`module` distinction
#35
nilern
closed
4 years ago
0
Make unification return a coercion type
#34
nilern
closed
4 years ago
0
Use literate programming (at least for type rules)
#33
nilern
closed
4 years ago
1
Clarify (and extend) record (type) constructs' syntax and implementations
#32
nilern
closed
4 years ago
3
Multi-param functor types
#31
nilern
closed
5 years ago
0
Refactor well-foundedness analysis
#30
nilern
closed
5 years ago
0
Trivial contification
#29
nilern
opened
5 years ago
0
Shrinking optimizations
#28
nilern
opened
5 years ago
0
Use ml-lpt instead of Nipo
#27
nilern
closed
5 years ago
0
Refactor Main module
#26
nilern
closed
4 years ago
0
Emit JS
#25
nilern
closed
4 years ago
1
CPS IR and conversion
#24
nilern
closed
4 years ago
0
Flatten matches and check coverage (and redundancy)
#23
nilern
closed
4 years ago
0
Use `DefId`:s in `WellFounded`
#22
nilern
closed
5 years ago
0
Include `Def.Id.t` and `Pos.t` in defs
#21
nilern
closed
5 years ago
0
Report type errors in surface syntax
#20
nilern
opened
5 years ago
0
Grammar spec
#19
nilern
opened
5 years ago
0
'Zero-cost' functor fixpointing support
#18
nilern
opened
5 years ago
0
Elaborate forward refs to `__boxNew`, `__boxInit` and `__boxGet`
#17
nilern
closed
4 years ago
0
Custom infix operators
#16
nilern
opened
5 years ago
0
Typechecker should prevent duplicate definitions in block scopes
#15
nilern
closed
5 years ago
0
"Marketing" documentation
#14
nilern
opened
5 years ago
0
String literals
#13
nilern
opened
5 years ago
0
Convenient variable representation for FAst
#12
nilern
closed
4 years ago
0
Prevent name capture in polymorphic types
#11
nilern
closed
4 years ago
0
Modular implicits
#10
nilern
opened
5 years ago
4
Effect rows and handlers
#9
nilern
opened
5 years ago
0
Algebraic datatypes
#8
nilern
opened
5 years ago
0
Complect lambdas
#7
nilern
closed
4 years ago
0
Add intrinsics
#6
nilern
closed
4 years ago
0
Remove Pos.t from types
#5
nilern
closed
5 years ago
0
Replace Nipo with ml-lpt
#4
nilern
closed
5 years ago
0
Build on sml/nj
#3
nilern
closed
4 years ago
0
Build on Windows
#2
nilern
opened
5 years ago
0
Build on OSX
#1
nilern
opened
5 years ago
1
Previous