joelburget/lvca

Issues

• ld: warning: directory not found for option '-L/opt/local/lib'

  #26 opened 2 years ago by joelburget
  1

• Parsing `int32`s

  #25 opened 2 years ago by joelburget
  0

• Generated signatures are not easy to work with

  #24 opened 3 years ago by joelburget
  0

• Parsing comments / attachment

  #22 opened 3 years ago by joelburget
  1

• Comments -> provenance

  #18 opened 3 years ago by joelburget
  1

• Evaluation provenance

  #19 opened 3 years ago by joelburget
  1

• On the `Language_object` definition

  #23 opened 3 years ago by joelburget
  0

• Check_term demo language stack overflow

  #21 opened 3 years ago by joelburget
  0

• Allow specifying whether a language sort should generate variable definitions or not.

  #20 opened 3 years ago by joelburget
  1

• Rename modules according to Jane Street style guide?

  #17 opened 3 years ago by joelburget
  1

• Allow empty sorts?

  #11 opened 3 years ago by joelburget
  0

• Kind annotations

  #15 opened 3 years ago by joelburget
  1

• Remove to_string functions

  #16 opened 3 years ago by joelburget
  1

• bignum dependency pulling in core_kernel?

  #13 opened 4 years ago by joelburget
  1

• Revamp check_term

  #14 opened 4 years ago by joelburget
  0

• Remove Core_kernel dep?

  #10 opened 4 years ago by joelburget
  1

• Implement precedence and fixity

  #7 opened 4 years ago by joelburget
  2

• Generated files should be reproducible

  #4 opened 4 years ago by joelburget
  1

• Revamped lexing

  #8 opened 4 years ago by joelburget
  2

• Fix string lexing

  #2 opened 4 years ago by joelburget
  1

• Core language

  #6 opened 4 years ago by joelburget
  1

• Pretty-printing

  #5 opened 4 years ago by joelburget
  0

• Evaluate switching from Jison

  #3 opened 5 years ago by joelburget
  1