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	1	-1/+23
2020-01-20	Evaluator	Paweł Dybiec	1	-1/+1
2020-01-20	Add function calls in commands, and type annotations in expressions	Paweł Dybiec	1	-20/+38
2020-01-20	Fix variants typing, add wellformedness for commands	Paweł Dybiec	1	-3/+60
2020-01-19	Add Except monad, and destructors for records and variants	Paweł Dybiec	1	-21/+71
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	1	-1/+5
2020-01-08	Initial commit	Paweł Dybiec	1	-0/+43