Exact

Exact Union RegExp

sebastian de1ca23db7 Remade <<=, better err msg, removed writer monad		2023-05-17 17:31:08 +02:00
..
Bugs.md	Squashed commit of the following:	2023-05-05 15:20:55 +02:00
RemoveForall.hs	Squashed commit of the following:	2023-05-05 15:20:55 +02:00
ReportTEVar.hs	Add closures and fix lets in monomorphizer	2023-05-06 22:49:08 +02:00
TypeChecker.hs	Remade <<=, better err msg, removed writer monad	2023-05-17 17:31:08 +02:00
TypeCheckerBidir.hs	Revork type checking of data types to make in reliable	2023-05-15 00:31:30 +02:00
TypeCheckerHm.hs	Remade <<=, better err msg, removed writer monad	2023-05-17 17:31:08 +02:00
TypeCheckerIr.hs	Added proper error message to monomorphizer; made subst a monoid	2023-05-15 23:40:15 +02:00