aboutsummaryrefslogtreecommitdiff
path: root/src/sexp
AgeCommit message (Expand)Author
7 daysfix: quote/vector disappearing in substitution on casesJoel Kronqvist
8 daysfix: changed type of (() T) from (T ...) to (Vector (T ...))Joel Kronqvist
10 daysfeat: vector concatenationJoel Kronqvist
10 daysfeat: type conversion from (Vec/Quote X) -> X and add vec/quote to rest patte...Joel Kronqvist
10 daysfix: function arguments not evaluating before function callJoel Kronqvist
11 daysfeat: fixed point dynamicsJoel Kronqvist
11 daysfix: subst not respecting fn and case bindsJoel Kronqvist
11 daysfeat: statics for fixed point recursionJoel Kronqvist
11 daysfix: removed obsolete code for handling types as they are now parsed directly...Joel Kronqvist
11 daysfeat: parsing of new types (T, (int ...), (int bool)) etc. also fixed bug in ...Joel Kronqvist
11 daysfix: removed unneccessary print, excluded .#[file] emacs backups in gitignoreJoel Kronqvist
11 daysfix: step scrutinee of case & can instantiate empty vecJoel Kronqvist
13 daysfeat: pattern matching evaluation in step.rsJoel Kronqvist
13 daysfeat: type checking for case expressionsJoel Kronqvist
2025-08-11refactor: Added helper matches_pat for pattern matchingJoel 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-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-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-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-01Modified quote so the values of lists are evaluatedJoel 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-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