8 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Mysaa	62f0389c94	Implementend Generator, does not work	2024-03-15 02:29:39 +01:00
Mysaa	024513767f	Implemnted (most) of MSeq monad	2024-03-14 20:48:52 +01:00
Mysaa	8d3f175a82	Added solver for Functor actions	2024-03-14 14:16:53 +01:00
Mysaa	88994419e3	Added a test and fixed two inference bugs	2024-03-14 13:54:36 +01:00
Mysaa	8f45228e1d	The solver works ... well at least it compiles	2024-03-14 13:27:12 +01:00
Mysaa	35d0bd817e	Implemented solver for easy cases	2024-03-11 20:15:09 +01:00
Mysaa	5ed12f0cdf	Added all type inference	2024-03-11 17:52:04 +01:00
Mysaa	5caeca79ff	Added annotation, but not working	2024-03-10 20:51:14 +01:00