aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainAdd evaluation of whole programs, typechecking functions and mainPaweł Dybiec23 months
 
 
AgeCommit messageAuthor
2020-01-20Add evaluation of whole programs, typechecking functions and mainHEADmainPaweł Dybiec
2020-01-20EvaluatorPaweł Dybiec
2020-01-20Add function calls in commands, and type annotations in expressionsPaweł Dybiec
2020-01-20Fix variants typing, add wellformedness for commandsPaweł Dybiec
2020-01-19Add Except monad, and destructors for records and variantsPaweł Dybiec
2020-01-09More testsPaweł Dybiec
2020-01-09Infer for record typesPaweł Dybiec
2020-01-09Fix infer for deref and arithmetic expressionsPaweł Dybiec
2020-01-09Fix assertsPaweł Dybiec
2020-01-09Fix variant typePaweł Dybiec
[...]
 
Clone
https://git.dybiec.info/wpp