feat: Add fixpoints - #30

Draft

ontomaquia wants to merge 10 commits into

mainfrom

Commits on Jul 31, 2022

feat: Unchecked fixpoints
Stefan malewski
committed
b7e6084
fix: Fixed bug in reduction of casts (Ind-Ind).
Stefan malewski
committed
29bc61b
fix: Fixed bug in consistency of Match expressions
Stefan malewski
committed
7209d38
feat: Better parens when printing apps
Stefan malewski
committed
44055df
Add recursor for natW and double function
Stefan malewski
committed
78a4d5f
format
Stefan malewski
committed
f6fc7ee

Commits on Aug 2, 2022

fix: Fixed reduction for fixpoints
Stefan Malewski
committed
3c6db6a
example: Simplified definition of 'double'.
Stefan malewski
committed
f2cdd22
feat: Add explicit recursive argument in fix
Stefan malewski
committed
394c1d9
example: Simplified 'double'.
Stefan malewski
committed
d82f85b