aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
12 daysfeat: pattern matching evaluation in step.rsJoel Kronqvist
12 daysfeat: type checking for case expressionsJoel Kronqvist
13 daystest: added failing tests for pattern match typing and matches_typeJoel Kronqvist
13 daysrefactor: Added helper matches_pat for pattern matchingJoel Kronqvist
14 daysFixed bug in repl not allowing using variables previously bound in REPL in ne...Joel Kronqvist
2025-08-10Updated tutorialJoel Kronqvist
2025-08-10Implemented functionsJoel Kronqvist
2025-08-10Added tests for functionsJoel Kronqvist
2025-08-10Added term level type literals (for function type signatures)Joel Kronqvist
2025-08-10Added into_type and used it to implement implicit conversions in type checkingJoel Kronqvist
2025-08-10Implemented aka. Changed Nil:st type to NilType from an empty list.Joel Kronqvist
2025-08-10Added tests for conversions. Excluded emacs-files in .gitignore.Joel Kronqvist
2025-08-10Added let bind history to REPL + other minor refactors in REPLJoel Kronqvist
2025-08-09Implemented print as ? -> ()Joel Kronqvist
2025-08-09Revert adding of print (its behavior was poorly designed).Joel Kronqvist
2025-08-06Added print, raised level on which UnboundGeneric error is returnedJoel Kronqvist
2025-08-06Implemented let-bindingsJoel Kronqvist
2025-08-06Added boilerplate and tests for let-bindsJoel Kronqvist
2025-08-05Implemented vector.Joel Kronqvist
2025-08-05Added vectors and tests for their evaluation and typingJoel Kronqvist
2025-08-05Fix: quote is not a typewise identity function. Added vt(&str) as util for Va...Joel Kronqvist
2025-08-05Fixed type of Not, added documentation to the tour for booleansJoel Kronqvist
2025-08-05Implemented booleans (no if-else yet)Joel Kronqvist
2025-08-05Added boilerplate and tests for booleans, integer comparisons and boolean ope...Joel Kronqvist
2025-08-05Changed project nameJoel Kronqvist
2025-08-04Added repl and some documentation. Improved error messages. Removed dead code.Joel Kronqvist
2025-08-04Implemented infer_type. Changed is_concrete tests and implemented it.Joel Kronqvist
2025-08-04Implemented generic substitution (tested) for use in inferring generics.Joel Kronqvist
2025-08-03Changed UndefinedType to VarType(String) for generics and added tests for inf...Joel Kronqvist
2025-08-03Implemented type_check, added method parts for SExpJoel Kronqvist
2025-08-02Added tests for type_check. Implemented std::fmt::Display for many enums. Add...Joel Kronqvist
2025-08-01Added boilerplate for Type, TypeError and type_checkJoel Kronqvist
2025-08-01Modified quote so the values of lists are evaluatedJoel Kronqvist
2025-07-31Added parse_to_ast for public use from other modulesJoel Kronqvist
2025-07-31Implemented tokens_to_ast. On second thought we should've just parsed the cod...Joel Kronqvist
2025-07-30Merge work done on laptop to desktop computerJoel Kronqvist
2025-07-30Added tests for tokens_to_astJoel Kronqvist
2025-07-30Implemented evaluation according to tests. Quite a bit of changes were requir...Joel Kronqvist
2025-07-29Added Nil and modified tests to make this more of a list interpreter rather t...Joel Kronqvist
2025-07-27Implemented tokenize with tests - note it doesn't check syntaxJoel Kronqvist
2025-07-27Implemented parse_tokenJoel Kronqvist
2025-07-27Created parse_token and added tests for itJoel Kronqvist
2025-07-26Implemented substitutionJoel Kronqvist
2025-07-26Added variables and tests for their substitutionJoel Kronqvist
2025-07-26Implemented integer operator dynamics, fixed some tests and added a combinati...Joel Kronqvist
2025-07-26Created necessary data structures and utilities for integers and their operat...Joel Kronqvist
2025-07-26Initialized project and added nom as dependencyJoel Kronqvist
generated by cgit v1.2.3 (git 2.25.1) at 2025-08-24 21:37:20 +0000