wpp - Project for PL course

Age	Commit message (Expand)	Author	Files	Lines
2020-01-20	Add evaluation of whole programs, typechecking functions and main main	Paweł Dybiec	4	-28/+72
2020-01-20	Evaluator	Paweł Dybiec	2	-1/+191
2020-01-20	Add function calls in commands, and type annotations in expressions	Paweł Dybiec	2	-21/+44
2020-01-20	Fix variants typing, add wellformedness for commands	Paweł Dybiec	2	-6/+63
2020-01-19	Add Except monad, and destructors for records and variants	Paweł Dybiec	2	-23/+77
2020-01-09	Infer for record types	Paweł Dybiec	1	-1/+5
2020-01-09	Fix infer for deref and arithmetic expressions	Paweł Dybiec	1	-4/+4
2020-01-09	Fix asserts	Paweł Dybiec	1	-3/+3
2020-01-09	Fix variant type	Paweł Dybiec	2	-2/+6
2020-01-08	Initial commit	Paweł Dybiec	3	-0/+83