wpp - Project for PL course

Branch	Commit message	Author	Age
main	Add evaluation of whole programs, typechecking functions and main	Paweł Dybiec	5 years


Age	Commit message	Author	Files	Lines
2020-01-20	Add evaluation of whole programs, typechecking functions and mainmain	Paweł Dybiec	5	-30/+86
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	4	-41/+106
2020-01-09	More tests	Paweł Dybiec	1	-0/+20
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
[...]

Clone
https://git.dybiec.info/wpp