aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
19 hoursfix: typo in build-essential and add mention that stdlib.slip must be in cwdmasterJoel Kronqvist
19 hoursdoc: added system requirements & fixed map x to x orHEADdevelJoel Kronqvist
31 hoursdoc: updated the README, still sysreqs missingJoel Kronqvist
31 hoursdoc: repeat in TUTORIAL.mdJoel Kronqvist
31 hoursfeat: repeat in stdlibJoel Kronqvist
32 hoursdoc: added exercise on Collatz conjectureJoel Kronqvist
42 hoursdoc: added exercises 3 and 4Joel Kronqvist
42 hoursfeat: left-or and right-or for coproducts in stdlibJoel Kronqvist
42 hoursfix: added missing conversions and generic inferring for coproductsJoel Kronqvist
43 hoursdoc: added a new exc. 1 to serve as an introduction to the cli, added documen...Joel Kronqvist
43 hoursfeat: added discard: T -> () to stdlib.slipJoel Kronqvist
43 hoursfix: removed unneccessary lowering from SCons(x, Nil) to x when getting match...Joel Kronqvist
45 hoursfeat: --babysteps for REPL for easier debuggingJoel Kronqvist
3 daysfeat: map and filter for integers in stdlib.slipJoel Kronqvist
3 daysdoc: added documentation on writing typesJoel Kronqvist
3 daysdoc: added section on coproducts and documented their pattern matching in TUT...Joel Kronqvist
3 daysfeat: implemented coproducts according to testsJoel Kronqvist
5 daystest: added boilerplate and tests for coproduct parsing, type checking and ev...Joel Kronqvist
6 daysdoc: added exercise 1Joel Kronqvist
6 daysrefactor: loop-unrolled recursive function SExp::parts as it's called a lot, ...Joel Kronqvist
6 daysfix: quote/vector disappearing in substitution on casesJoel Kronqvist
6 daysfix: make case type checking work according to updated testsJoel Kronqvist
6 daystest: added failing tests for type pattern matching, as VecType and QuoteTy m...Joel Kronqvist
6 daysfix: make argument type list stay as one type when there is just 1 argument nameJoel Kronqvist
6 daysfix: refined [x] to x conversion, think (not true) and (vector 1)Joel Kronqvist
6 daysrefactor: change conversions to use a stricter function with deduplicated codeJoel Kronqvist
7 daysfix: repl erroring "let used as operator" with empty/nil inputsJoel Kronqvist
7 daysfix: changed type of (() T) from (T ...) to (Vector (T ...))Joel Kronqvist
9 daysdoc: added <> and factorial example to TUTORIAL.mdJoel Kronqvist
9 daysfeat: vector concatenationJoel Kronqvist
9 daysfix: conversions between vectors, they were needed for some functions, but no...Joel Kronqvist
9 daysdoc: added empty vector initialization and int vector sum to TUTORIAL.mdJoel Kronqvist
9 daysfeat: sum for lists/vectors in stdlibJoel Kronqvist
9 daysfeat: type conversion from (Vec/Quote X) -> X and add vec/quote to rest patte...Joel Kronqvist
9 daysfix: prevented loading non-let expressions as declarationsJoel Kronqvist
9 daysdoc: added help message and a reference to it in README.mdJoel Kronqvist
9 daysfeat: standard library & loading it by defaultJoel Kronqvist
9 daysfeat: read binds from files, evaluate expression from fileJoel Kronqvist
9 daysfix: function arguments not evaluating before function callJoel Kronqvist
9 daysfeat: fixed point dynamicsJoel Kronqvist
9 daysfix: subst not respecting fn and case bindsJoel Kronqvist
10 daysdoc: updated tutorialJoel Kronqvist
10 daysfeat: statics for fixed point recursionJoel Kronqvist
10 daysfix: made conversion work according to updated tests:Joel Kronqvist
10 daystest: stricter generic checking tests added for Type::aka and Type::into_typeJoel Kronqvist
10 daysfeat: added rest of types to the parserJoel Kronqvist
10 daysfix: removed obsolete code for handling types as they are now parsed directly...Joel Kronqvist
10 daysfeat: parsing of new types (T, (int ...), (int bool)) etc. also fixed bug in ...Joel Kronqvist
10 daysfix: removed unneccessary print, excluded .#[file] emacs backups in gitignoreJoel Kronqvist
10 daysfix: step scrutinee of case & can instantiate empty vecJoel Kronqvist
generated by cgit v1.2.3 (git 2.25.1) at 2025-08-24 14:47:24 +0000