aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2022-08-15Unify error reportingJuan J. Martinez
2022-08-15Better error reportingJuan J. Martinez
These don't need backtracking.
2022-08-15URL for the projectJuan J. Martinez
2022-08-14Introduced testsJuan J. Martinez
2022-08-14Limit lambdas to only use local variablesJuan J. Martinez
Dynamic allocation (and hence closures) is not supported.
2022-08-14Unnecessary parenthesisJuan J. Martinez
2022-08-14Case removed by mistakeJuan J. Martinez
2022-08-14Missing caseJuan J. Martinez
Also removed unused as-pattern.
2022-08-14Missing caseJuan J. Martinez
2022-08-14Typechecking returnJuan J. Martinez
2022-08-14Provide information about typesJuan J. Martinez
2022-08-14Removed extra endlJuan J. Martinez
2022-08-14Display typesJuan J. Martinez
2022-08-14Typecheck function callsJuan J. Martinez
2022-08-14Extract code to add errors to the stateJuan J. Martinez
2022-08-14Check arityJuan J. Martinez
2022-08-14FormattingJuan J. Martinez
It wasn't rendering correctly in cgit.
2022-08-14Slightly better error messageJuan J. Martinez
2022-08-14Return the type of the functionJuan J. Martinez
This makes lambda calls work.
2022-08-14Check type of expressions in calls to be callableJuan J. Martinez
2022-08-13Use as-patternJuan J. Martinez
2022-08-13TypoJuan J. Martinez
2022-08-13Improved documentationJuan J. Martinez
2022-08-13More ideasJuan J. Martinez
2022-08-13We need to keep the function definition in the enviromentJuan J. Martinez
2022-08-13Extracted functionJuan J. Martinez
2022-08-13Probably betterJuan J. Martinez
2022-08-13Split in modulesJuan J. Martinez
2022-08-12TypoJuan J. Martinez
2022-08-12For now, just runJuan J. Martinez
2022-08-12Initial importJuan J. Martinez
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-15 21:52:47 +0000