-
e412c12b23
docs: add project readme
HEAD
main
dualfroz
2026-08-28 22:40:00 +02:00
-
d47dad16f8
docs: add example program
dualfroz
2026-08-28 15:50:00 +02:00
-
2f7126cdf0
test: add oracle, adt, and standard library tests
dualfroz
2026-08-28 09:00:00 +02:00
-
9c857dcdef
test: add inference and evaluation tests
dualfroz
2026-08-27 22:40:00 +02:00
-
eef6602072
feat(cli): add repl and file runner
dualfroz
2026-08-27 18:06:00 +02:00
-
940305ce85
feat(interpreter): add session driver with module system
dualfroz
2026-08-27 13:33:00 +02:00
-
9ce5ca1651
feat(prelude): add builtins and standard library
dualfroz
2026-08-27 09:00:00 +02:00
-
68b3f9f319
feat(vm): add stack machine interpreter
dualfroz
2026-08-26 22:40:00 +02:00
-
bf580402e6
feat(bytecode): add instruction set and expression compiler
dualfroz
2026-08-26 15:50:00 +02:00
-
fa1ba2ecf4
feat(eval): add tree-walking interpreter
dualfroz
2026-08-26 09:00:00 +02:00
-
296e6ffe54
feat(value): add runtime value representation
dualfroz
2026-08-25 22:40:00 +02:00
-
e3ff306205
feat(infer): add algorithm w type inference
dualfroz
2026-08-25 18:06:00 +02:00
-
b6937f1b30
feat(match): add decision-tree compiler for pattern matching
dualfroz
2026-08-25 13:33:00 +02:00
-
14fdc32383
feat(match): add pattern normalization and exhaustiveness checking
dualfroz
2026-08-25 09:00:00 +02:00
-
f7d69f3067
feat(decls): add algebraic data type and record declaration registry
dualfroz
2026-08-24 22:40:00 +02:00
-
8c555e99e0
feat(types): add type representation with unification and generalization
dualfroz
2026-08-24 15:50:00 +02:00
-
aba27152b8
feat(parser): add type expression and declaration parsing
dualfroz
2026-08-24 09:00:00 +02:00
-
896f222c0a
feat(parser): add recursive-descent parser for expressions and patterns
dualfroz
2026-08-23 22:40:00 +02:00
-
e13d734741
feat(ast): add abstract syntax for expressions, patterns, and types
dualfroz
2026-08-23 18:06:00 +02:00
-
682fd8146b
feat(lexer): add token definitions and tokenizer
dualfroz
2026-08-23 13:33:00 +02:00
-
7c8ef00d77
chore: add gitignore and build configuration
dualfroz
2026-08-23 09:00:00 +02:00