| Age | Commit message (Expand) | Author |
|---|
| 2025-08-23 | doc: repeat in TUTORIAL.md | Joel Kronqvist |
| 2025-08-23 | feat: repeat in stdlib | Joel Kronqvist |
| 2025-08-23 | doc: added exercise on Collatz conjecture | Joel Kronqvist |
| 2025-08-23 | doc: added exercises 3 and 4 | Joel Kronqvist |
| 2025-08-23 | feat: left-or and right-or for coproducts in stdlib | Joel Kronqvist |
| 2025-08-22 | fix: added missing conversions and generic inferring for coproducts | Joel Kronqvist |
| 2025-08-22 | doc: added a new exc. 1 to serve as an introduction to the cli, added documen... | Joel Kronqvist |
| 2025-08-22 | feat: added discard: T -> () to stdlib.slip | Joel Kronqvist |
| 2025-08-22 | fix: removed unneccessary lowering from SCons(x, Nil) to x when getting match... | Joel Kronqvist |
| 2025-08-22 | feat: --babysteps for REPL for easier debugging | Joel Kronqvist |
| 2025-08-22 | feat: map and filter for integers in stdlib.slip | Joel Kronqvist |
| 2025-08-22 | doc: added documentation on writing types | Joel Kronqvist |
| 2025-08-21 | doc: added section on coproducts and documented their pattern matching in TUT... | Joel Kronqvist |
| 2025-08-21 | feat: implemented coproducts according to tests | Joel Kronqvist |
| 2025-08-19 | test: added boilerplate and tests for coproduct parsing, type checking and ev... | Joel Kronqvist |
| 2025-08-18 | doc: added exercise 1 | Joel Kronqvist |
| 2025-08-18 | refactor: loop-unrolled recursive function SExp::parts as it's called a lot, ... | Joel Kronqvist |
| 2025-08-18 | fix: quote/vector disappearing in substitution on cases | Joel Kronqvist |
| 2025-08-18 | fix: make case type checking work according to updated tests | Joel Kronqvist |
| 2025-08-18 | test: added failing tests for type pattern matching, as VecType and QuoteTy m... | Joel Kronqvist |
| 2025-08-18 | fix: make argument type list stay as one type when there is just 1 argument name | Joel Kronqvist |
| 2025-08-18 | fix: refined [x] to x conversion, think (not true) and (vector 1) | Joel Kronqvist |
| 2025-08-18 | refactor: change conversions to use a stricter function with deduplicated code | Joel Kronqvist |
| 2025-08-17 | fix: repl erroring "let used as operator" with empty/nil inputs | Joel Kronqvist |
| 2025-08-17 | fix: changed type of (() T) from (T ...) to (Vector (T ...)) | Joel Kronqvist |
| 2025-08-16 | doc: added <> and factorial example to TUTORIAL.md | Joel Kronqvist |
| 2025-08-16 | feat: vector concatenation | Joel Kronqvist |
| 2025-08-16 | fix: conversions between vectors, they were needed for some functions, but no... | Joel Kronqvist |
| 2025-08-16 | doc: added empty vector initialization and int vector sum to TUTORIAL.md | Joel Kronqvist |
| 2025-08-16 | feat: sum for lists/vectors in stdlib | Joel Kronqvist |
| 2025-08-16 | feat: type conversion from (Vec/Quote X) -> X and add vec/quote to rest patte... | Joel Kronqvist |
| 2025-08-15 | fix: prevented loading non-let expressions as declarations | Joel Kronqvist |
| 2025-08-15 | doc: added help message and a reference to it in README.md | Joel Kronqvist |
| 2025-08-15 | feat: standard library & loading it by default | Joel Kronqvist |
| 2025-08-15 | feat: read binds from files, evaluate expression from file | Joel Kronqvist |
| 2025-08-15 | fix: function arguments not evaluating before function call | Joel Kronqvist |
| 2025-08-15 | feat: fixed point dynamics | Joel Kronqvist |
| 2025-08-15 | fix: subst not respecting fn and case binds | Joel Kronqvist |
| 2025-08-14 | doc: updated tutorial | Joel Kronqvist |
| 2025-08-14 | feat: statics for fixed point recursion | Joel Kronqvist |
| 2025-08-14 | fix: made conversion work according to updated tests: | Joel Kronqvist |
| 2025-08-14 | test: stricter generic checking tests added for Type::aka and Type::into_type | Joel Kronqvist |
| 2025-08-14 | feat: added rest of types to the parser | Joel Kronqvist |
| 2025-08-14 | fix: removed obsolete code for handling types as they are now parsed directly... | Joel Kronqvist |
| 2025-08-14 | feat: parsing of new types (T, (int ...), (int bool)) etc. also fixed bug in ... | Joel Kronqvist |
| 2025-08-14 | fix: removed unneccessary print, excluded .#[file] emacs backups in gitignore | Joel Kronqvist |
| 2025-08-14 | fix: step scrutinee of case & can instantiate empty vec | Joel Kronqvist |
| 2025-08-13 | feat: generic match arms, mostly for functions I guess? | Joel Kronqvist |
| 2025-08-12 | feat: pattern matching evaluation in step.rs | Joel Kronqvist |
| 2025-08-12 | feat: type checking for case expressions | Joel Kronqvist |
