3 commits

Author	SHA1	Message	Date
Michael Sippel	cdf03c9aae	improve morphisms for integer example	2024-06-03 17:10:52 +02:00
Michael Sippel	fdecc29e80	clean up posint example & use u64 instead of usize in PositionalUInt trait	2024-05-30 23:11:50 +02:00
Michael Sippel	40a5da4512	int example & testing out more int projections	2024-05-25 00:39:47 +02:00