wpp - Project for PL course

Age	Commit message (Collapse)	Author	Files	Lines
2020-01-20	Add evaluation of whole programs, typechecking functions and mainmain	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
	Initial version of project. What is done: * Syntax of expressions,commands,programs and types * Crude typechecking * Some typechecking tests