andrew-johnson-4/LSTS Issues
Benchmark Auto Theorems
UpdatedPermit valued let bindings
Closed 1Start bootstrapping l1 in l1
Closed 1Formalize Type System Inference
Closed 3Support F32 and F64 values
Closed 4Add support for closures
Closed 1Target Rust for AoT compilation
Closed 2Migrate backend to LM
Closed 1Replace Regexes with DFAs
UpdatedFIXME
Updated 1Roadmap for 2023
Closed 1Update Tutorial
ClosedIntroduce
ClosedString Introduction
Closed