ladder-typed data morphing compiler
Find a file
2025-02-20 05:26:37 +01:00
code-size-benchmark move code size benchmark to separate directory 2025-02-16 17:25:23 +01:00
morphisms remove deprecated .gitignore 2025-02-20 05:23:32 +01:00
src encode all literal-character types as ascii code for compatiblity with c symbol names 2025-02-20 05:26:37 +01:00
Cargo.toml parse type terms 2025-01-31 17:56:08 +01:00