Issues
- 0
Implement the "with" gadget
#3 opened by joelburget - 0
EqGreen could disappear
#5 opened by joelburget - 0
Syntax for accesing nested tuples
#6 opened by joelburget - 0
- 0
Reversible Elaborator
#9 opened by joelburget - 0
- 0
- 0
definitionsToImpl and magicImplName
#15 opened by joelburget - 0
Remove FakeREF
#16 opened by joelburget - 0
Distinguish lazy and eager elaboration
#18 opened by joelburget - 0
Documentation Story
#20 opened by joelburget - 4
rework error machinery
#21 opened by joelburget - 0
RFC: Error report machinery
#8 opened by joelburget - 0
Reserve ALLCAPITAL identifiers to patterns
#11 opened by joelburget - 0
- 0
- 0
Levitate AllowedBy
#17 opened by joelburget - 1
Labels for IDesc
#12 opened by joelburget - 1
- 0
`in` doesn't work
#2 opened by joelburget