2 commits

Author	SHA1	Message	Date
Michael Sippel	b88251b9c4	add length_prefix_array_map_8_to_8	2025-02-20 05:16:31 +01:00
Michael Sippel	cea1f36e63	read morphism body definitions from morphism-base file and generate instantiations based on type-variable substitutions	2025-02-16 17:08:55 +01:00

Renamed from morphisms/include/morphisms/length-prefix.h (Browse further)