Issues
- 1
- 0
Row polymorphism
#19 opened by AndyShiue - 0
phase polymorphism
#11 opened by AndyShiue - 0
mode polymorphism
#15 opened by AndyShiue - 0
Inductive types
#10 opened by AndyShiue - 0
Figure out inheritance.
#4 opened by AndyShiue - 0
Memory management
#7 opened by AndyShiue - 0
- 0
inlineness
#17 opened by AndyShiue - 0
freer monad
#18 opened by AndyShiue - 0
do notation
#16 opened by AndyShiue - 0
const(only)
#12 opened by AndyShiue - 0
Visibility System
#2 opened by AndyShiue - 0
hierarchy polymorphism
#14 opened by AndyShiue - 0
- 0
A module system
#1 opened by AndyShiue - 0
Extensible effects
#6 opened by AndyShiue - 0
Associated types
#5 opened by AndyShiue - 0
Curly braces as a mode
#3 opened by AndyShiue