ladder-typed data morphing compiler

Michael Sippel 6cfb25a1a7 fix warnings		2025-03-15 19:48:02 +01:00
code-size-benchmark	move header & library for morphism data structures to 'runtime' diretcory	2025-03-15 18:45:52 +01:00
morphisms	includes & errors in morphisms	2025-03-15 19:19:20 +01:00
src	fix warnings	2025-03-15 19:48:02 +01:00
test	add test script	2025-03-15 18:49:29 +01:00
.gitignore	gitignore	2025-03-15 18:49:39 +01:00
Cargo.toml	improve output	2025-02-20 05:35:40 +01:00