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