Commit Graph

28 Commits

Author SHA1 Message Date
Scott Richmond
89f7becef9 spawn is now a special form 2025-07-04 17:24:54 -04:00
Scott Richmond
8eae684b85 string keys on dicts now fully work 2025-07-03 15:30:51 -04:00
Scott Richmond
04dcd5bcc9 method syntax sugar achieved 2025-07-02 19:29:49 -04:00
Scott Richmond
290b205e1b make progress, I guess 2025-06-27 20:41:29 -04:00
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