Age | Commit message (Expand) | Author |
---|---|---|
2022-08-14 | Limit lambdas to only use local variables | Juan J. Martinez |
2022-08-14 | Unnecessary parenthesis | Juan J. Martinez |
2022-08-14 | Case removed by mistake | Juan J. Martinez |
2022-08-14 | Missing case | Juan J. Martinez |
2022-08-14 | Missing case | Juan J. Martinez |
2022-08-14 | Typechecking return | Juan J. Martinez |
2022-08-14 | Provide information about types | Juan J. Martinez |
2022-08-14 | Removed extra endl | Juan J. Martinez |
2022-08-14 | Display types | Juan J. Martinez |
2022-08-14 | Typecheck function calls | Juan J. Martinez |
2022-08-14 | Extract code to add errors to the state | Juan J. Martinez |
2022-08-14 | Check arity | Juan J. Martinez |
2022-08-14 | Formatting | Juan J. Martinez |
2022-08-14 | Slightly better error message | Juan J. Martinez |
2022-08-14 | Return the type of the function | Juan J. Martinez |
2022-08-14 | Check type of expressions in calls to be callable | Juan J. Martinez |
2022-08-13 | Use as-pattern | Juan J. Martinez |
2022-08-13 | Typo | Juan J. Martinez |
2022-08-13 | Improved documentation | Juan J. Martinez |
2022-08-13 | More ideas | Juan J. Martinez |
2022-08-13 | We need to keep the function definition in the enviroment | Juan J. Martinez |
2022-08-13 | Extracted function | Juan J. Martinez |
2022-08-13 | Probably better | Juan J. Martinez |
2022-08-13 | Split in modules | Juan J. Martinez |
2022-08-12 | Typo | Juan J. Martinez |
2022-08-12 | For now, just run | Juan J. Martinez |
2022-08-12 | Initial import | Juan J. Martinez |