ladder-typed data morphing compiler

Michael Sippel 90eb43475b gitignore		2025-03-15 18:49:39 +01:00
code-size-benchmark	move header & library for morphism data structures to 'runtime' diretcory	2025-03-15 18:45:52 +01:00
morphisms	add morphisms	2025-03-15 18:49:06 +01:00
src	add include header in morphism-base	2025-03-15 18:28:57 +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