aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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