1
0
Commit Graph

32 Commits

Author SHA1 Message Date
fa7fb57600 Add new tests for type checking 2023-12-15 17:27:29 -05:00
ce4d366bab Implement type checking for functions and indexes 2023-12-13 15:47:41 -05:00
aada1c72d6 Fix list type checking 2023-12-09 18:50:17 -05:00
0452243c08 Expand type checking 2023-12-09 17:55:47 -05:00
833a830b30 Expand type checking to map contexts 2023-12-09 17:15:41 -05:00
ed4dd6a819 Improve internal API 2023-12-05 17:08:22 -05:00
d6c679c0b3 Implement new function syntax 2023-12-05 16:42:11 -05:00
7f1b53aabe Continue implementing type checks 2023-12-02 02:34:23 -05:00
21099a4092 Clean up 2023-11-30 09:48:56 -05:00
0ee26dcf0d Implement function declarations 2023-11-30 09:30:25 -05:00
57b06df9c2 Clean up 2023-11-30 05:40:39 -05:00
3dc78a7066 Implement runtime type checking 2023-11-30 02:09:55 -05:00
8826d08392 Implement list type checks 2023-11-30 00:57:15 -05:00
b6422a438b Implement parsing and runtime checks 2023-11-29 22:54:46 -05:00
5f960021b1 Implement type equality 2023-11-29 22:02:55 -05:00
081d349783 Continue type check implementation 2023-11-29 20:59:58 -05:00
bc2615a1ed Begin changes for new type definitions 2023-11-29 19:23:42 -05:00
2bd4ccb40d Implement type checking 2023-11-27 17:53:12 -05:00
25852efcd6 Continue type check implementation 2023-11-27 15:02:08 -05:00
0646d010c5 Add type checking 2023-11-27 10:27:44 -05:00
a21aa5e37b Fix find loops and index syntax 2023-11-15 21:35:40 -05:00
a804a85b1f Begin adding index assignment 2023-11-14 20:41:57 -05:00
2d85a3ee2b Improve soundness of Map type 2023-11-05 13:54:29 -05:00
e582f3cad3 Continue syntax revision 2023-10-31 09:31:10 -04:00
f33eef9c5a Prepare for new version 2023-10-29 19:31:06 -04:00
86499367fc Rename VariableMap to Map 2023-10-25 16:44:50 -04:00
72af839102 Clean up 2023-10-23 17:36:11 -04:00
8348b6ce85 Add example; Fix add assignment 2023-10-23 16:12:43 -04:00
ea633fbc59 Reimplement functions 2023-10-10 17:12:38 -04:00
9450e6dc96 Implement new control flow syntax 2023-10-10 13:29:11 -04:00
39692b3bd7 Implement new grammar 2023-10-09 15:54:47 -04:00
3e87d8b322 Continue syntax overhaul 2023-10-06 13:32:58 -04:00