| Age | Commit message (Expand) | Author |
|---|
| 3 days | fix: removed unneccessary lowering from SCons(x, Nil) to x when getting match... | Joel Kronqvist |
| 4 days | feat: implemented coproducts according to tests | Joel Kronqvist |
| 6 days | test: added boilerplate and tests for coproduct parsing, type checking and ev... | Joel Kronqvist |
| 7 days | refactor: loop-unrolled recursive function SExp::parts as it's called a lot, ... | Joel Kronqvist |
| 7 days | fix: quote/vector disappearing in substitution on cases | Joel Kronqvist |
| 8 days | fix: changed type of (() T) from (T ...) to (Vector (T ...)) | Joel Kronqvist |
| 9 days | feat: vector concatenation | Joel Kronqvist |
| 9 days | feat: type conversion from (Vec/Quote X) -> X and add vec/quote to rest patte... | Joel Kronqvist |
| 10 days | fix: function arguments not evaluating before function call | Joel Kronqvist |
| 10 days | feat: fixed point dynamics | Joel Kronqvist |
| 10 days | fix: subst not respecting fn and case binds | Joel Kronqvist |
| 11 days | feat: statics for fixed point recursion | Joel Kronqvist |
| 11 days | fix: removed obsolete code for handling types as they are now parsed directly... | Joel Kronqvist |
| 11 days | feat: parsing of new types (T, (int ...), (int bool)) etc. also fixed bug in ... | Joel Kronqvist |
| 11 days | fix: removed unneccessary print, excluded .#[file] emacs backups in gitignore | Joel Kronqvist |
| 11 days | fix: step scrutinee of case & can instantiate empty vec | Joel Kronqvist |
| 13 days | feat: pattern matching evaluation in step.rs | Joel Kronqvist |
| 13 days | feat: type checking for case expressions | Joel Kronqvist |
| 14 days | refactor: Added helper matches_pat for pattern matching | Joel Kronqvist |
| 2025-08-10 | Implemented functions | Joel Kronqvist |
| 2025-08-10 | Added tests for functions | Joel Kronqvist |
| 2025-08-10 | Added term level type literals (for function type signatures) | Joel Kronqvist |
| 2025-08-09 | Implemented print as ? -> () | Joel Kronqvist |
| 2025-08-09 | Revert adding of print (its behavior was poorly designed). | Joel Kronqvist |
| 2025-08-06 | Added print, raised level on which UnboundGeneric error is returned | Joel Kronqvist |
| 2025-08-06 | Implemented let-bindings | Joel Kronqvist |
| 2025-08-06 | Added boilerplate and tests for let-binds | Joel Kronqvist |
| 2025-08-05 | Implemented vector. | Joel Kronqvist |
| 2025-08-05 | Added vectors and tests for their evaluation and typing | Joel Kronqvist |
| 2025-08-05 | Fix: quote is not a typewise identity function. Added vt(&str) as util for Va... | Joel Kronqvist |
| 2025-08-05 | Implemented booleans (no if-else yet) | Joel Kronqvist |
| 2025-08-05 | Added boilerplate and tests for booleans, integer comparisons and boolean ope... | Joel Kronqvist |
| 2025-08-05 | Changed project name | Joel Kronqvist |
| 2025-08-04 | Added repl and some documentation. Improved error messages. Removed dead code. | Joel Kronqvist |
| 2025-08-03 | Implemented type_check, added method parts for SExp | Joel Kronqvist |
| 2025-08-02 | Added tests for type_check. Implemented std::fmt::Display for many enums. Add... | Joel Kronqvist |
| 2025-08-01 | Modified quote so the values of lists are evaluated | Joel Kronqvist |
| 2025-07-30 | Implemented evaluation according to tests. Quite a bit of changes were requir... | Joel Kronqvist |
| 2025-07-29 | Added Nil and modified tests to make this more of a list interpreter rather t... | Joel Kronqvist |
| 2025-07-26 | Implemented substitution | Joel Kronqvist |
| 2025-07-26 | Added variables and tests for their substitution | Joel Kronqvist |
| 2025-07-26 | Implemented integer operator dynamics, fixed some tests and added a combinati... | Joel Kronqvist |
| 2025-07-26 | Created necessary data structures and utilities for integers and their operat... | Joel Kronqvist |
