issues
search
joelburget
/
lvca
language verification, construction, and analysis
https://lvca.dev
MIT License
20
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
ld: warning: directory not found for option '-L/opt/local/lib'
#26
joelburget
closed
2 years ago
1
Parsing `int32`s
#25
joelburget
opened
2 years ago
0
Generated signatures are not easy to work with
#24
joelburget
opened
2 years ago
0
On the `Language_object` definition
#23
joelburget
opened
3 years ago
0
Parsing comments / attachment
#22
joelburget
closed
3 years ago
1
Check_term demo language stack overflow
#21
joelburget
opened
3 years ago
0
Allow specifying whether a language sort should generate variable definitions or not.
#20
joelburget
closed
3 years ago
1
Evaluation provenance
#19
joelburget
opened
3 years ago
1
Comments -> provenance
#18
joelburget
closed
3 years ago
1
Rename modules according to Jane Street style guide?
#17
joelburget
closed
3 years ago
1
Remove to_string functions
#16
joelburget
closed
3 years ago
1
Kind annotations
#15
joelburget
closed
3 years ago
1
Revamp check_term
#14
joelburget
opened
4 years ago
0
bignum dependency pulling in core_kernel?
#13
joelburget
closed
3 years ago
1
Term refactor
#12
joelburget
closed
4 years ago
0
Allow empty sorts?
#11
joelburget
closed
3 years ago
0
Remove Core_kernel dep?
#10
joelburget
closed
4 years ago
1
Bump handlebars from 4.1.2 to 4.5.3
#9
dependabot[bot]
closed
4 years ago
0
Revamped lexing
#8
joelburget
closed
4 years ago
2
Implement precedence and fixity
#7
joelburget
closed
4 years ago
2
Core language
#6
joelburget
opened
4 years ago
1
Pretty-printing
#5
joelburget
opened
4 years ago
0
Generated files should be reproducible
#4
joelburget
closed
4 years ago
1
Evaluate switching from Jison
#3
joelburget
closed
4 years ago
1
Fix string lexing
#2
joelburget
closed
4 years ago
1
Bump lodash from 4.17.11 to 4.17.15
#1
dependabot[bot]
closed
5 years ago
0