Issues
- 1
- 0
Parsing `int32`s
#25 opened by joelburget - 0
Generated signatures are not easy to work with
#24 opened by joelburget - 1
Parsing comments / attachment
#22 opened by joelburget - 1
Comments -> provenance
#18 opened by joelburget - 1
Evaluation provenance
#19 opened by joelburget - 0
On the `Language_object` definition
#23 opened by joelburget - 0
Check_term demo language stack overflow
#21 opened by joelburget - 1
Allow specifying whether a language sort should generate variable definitions or not.
#20 opened by joelburget - 1
- 0
Allow empty sorts?
#11 opened by joelburget - 1
Kind annotations
#15 opened by joelburget - 1
Remove to_string functions
#16 opened by joelburget - 1
bignum dependency pulling in core_kernel?
#13 opened by joelburget - 0
Revamp check_term
#14 opened by joelburget - 1
Remove Core_kernel dep?
#10 opened by joelburget - 2
Implement precedence and fixity
#7 opened by joelburget - 1
Generated files should be reproducible
#4 opened by joelburget - 2
Revamped lexing
#8 opened by joelburget - 1
Fix string lexing
#2 opened by joelburget - 1
Core language
#6 opened by joelburget - 0
Pretty-printing
#5 opened by joelburget - 1
Evaluate switching from Jison
#3 opened by joelburget