4 commits

Author	SHA1	Message	Date
Michael Sippel	27ea365755	improve integration ... * add command line parsing * read morphism base directory from environment * generate C library of multiple morphisms	2025-05-09 03:33:51 +02:00
Michael Sippel	186c12fc5d	improve output	2025-02-20 05:35:40 +01:00
Michael Sippel	f0f8adbbbc	parse type terms	2025-01-31 17:56:08 +01:00
Michael Sippel	d66dc0e78b	initial parser for morphism-base using chumsky	2025-01-29 19:37:33 +01:00