Scott Richmond
|
2c4e11abdd
|
move Ast into its own module
|
2025-06-27 19:05:17 -04:00 |
|
Scott Richmond
|
86df1834e3
|
fix and & or
|
2025-06-22 20:26:08 -04:00 |
|
Scott Richmond
|
5a0a6453ab
|
start work on getting prelude working; discover closure bug
|
2025-06-21 17:43:47 -04:00 |
|
Scott Richmond
|
d4bda075d8
|
start work on partial application, fix/abstract binding resolution
|
2025-06-05 16:10:40 -04:00 |
|
Scott Richmond
|
e2617de4e9
|
or and and are now reserved words
|
2025-05-28 16:37:25 -04:00 |
|
Scott Richmond
|
05abe64e45
|
working & thinking
|
2024-12-24 12:35:44 -05:00 |
|
Scott Richmond
|
bbe38e6bf6
|
DRY out validator, simplify code
|
2024-12-15 23:49:43 -05:00 |
|
Scott Richmond
|
d0afa3a547
|
make some progress: atoms and ifs
|
2024-12-15 23:28:57 -05:00 |
|
Scott Richmond
|
0d741ee6fa
|
bring full prelude into Ludus.
|
2024-12-12 19:43:56 -05:00 |
|
Scott Richmond
|
90493f4346
|
fix loop validation bugs
|
2024-12-12 19:28:55 -05:00 |
|
Scott Richmond
|
1e74ef8237
|
improve panic reports
|
2024-12-12 19:01:51 -05:00 |
|
Scott Richmond
|
ddff9b6884
|
start debugging full prelude
|
2024-12-11 17:32:31 -05:00 |
|
Scott Richmond
|
7dab0e0637
|
closing works, so does importing from Prelude!
|
2024-12-11 17:22:37 -05:00 |
|
Scott Richmond
|
4b783bc5ef
|
validator validates recursive functions
|
2024-12-11 15:36:23 -05:00 |
|
Scott Richmond
|
acaf726675
|
arity checking--of local functions
|
2024-12-11 00:20:34 -05:00 |
|
Scott Richmond
|
2f8f3f687c
|
complete first draft of validator
|
2024-12-10 23:42:05 -05:00 |
|
Scott Richmond
|
dd57f49f80
|
cover all Ast branches
|
2024-12-10 22:40:57 -05:00 |
|
Scott Richmond
|
c40f0f45d2
|
move patterns, clauses into AST
|
2024-12-10 22:26:52 -05:00 |
|
Scott Richmond
|
07096abc7d
|
start moving Patterns into Ast
|
2024-12-10 18:40:43 -05:00 |
|
Scott Richmond
|
26f3b66b33
|
loop arity checking
|
2024-12-10 18:07:31 -05:00 |
|
Scott Richmond
|
1e88d803a3
|
improve do & recur errs
|
2024-12-10 17:39:02 -05:00 |
|
Scott Richmond
|
8016f9f0bd
|
first draft of synthetic validation
|
2024-12-10 17:23:15 -05:00 |
|
Scott Richmond
|
c5ec437452
|
start testing, fixing
|
2024-12-10 17:14:26 -05:00 |
|
Scott Richmond
|
7a800c7905
|
all the work trying to write a validator
|
2024-12-10 16:44:52 -05:00 |
|