about summary refs log tree commit diff
AgeCommit message (Expand)AuthorFilesLines
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
2020-01-09Add package.yamlPaweł Dybiec1-0/+49
2020-01-08Initial commitPaweł Dybiec16-0/+226