about summary refs log tree commit diff
BranchCommit messageAuthorAge
mainAdd evaluation of whole programs, typechecking functions and mainPaweł Dybiec4 years
 
 
AgeCommit messageAuthorFilesLines
2020-01-20Add evaluation of whole programs, typechecking functions and main mainPaweł Dybiec5-30/+86
2020-01-20EvaluatorPaweł Dybiec2-1/+191
2020-01-20Add function calls in commands, and type annotations in expressionsPaweł Dybiec2-21/+44
2020-01-20Fix variants typing, add wellformedness for commandsPaweł Dybiec2-6/+63
2020-01-19Add Except monad, and destructors for records and variantsPaweł Dybiec4-41/+106
2020-01-09More testsPaweł Dybiec1-0/+20
2020-01-09Infer for record typesPaweł Dybiec1-1/+5
2020-01-09Fix infer for deref and arithmetic expressionsPaweł Dybiec1-4/+4
2020-01-09Fix assertsPaweł Dybiec1-3/+3
2020-01-09Fix variant typePaweł Dybiec2-2/+6
[...]
 
Clone
https://git.dybiec.info/wpp