Commit Graph

12 Commits

Author SHA1 Message Date
Quinn Dougherty
1984dd55b4 lambdas; arrays and records in expr; multi-argument functions 2022-04-22 15:46:22 -04:00
Quinn Dougherty
7035b581a6 2/3 todos 2022-04-22 14:00:31 -04:00
Quinn Dougherty
8f2d0f06f0 CR comments; other things 2022-04-22 12:42:05 -04:00
Quinn Dougherty
2c060ccf6a grammar 2022-04-22 00:15:30 -04:00
Quinn Dougherty
8b83c9ec84 CR pass thru; cleanup; no more scientific notation 2022-04-20 14:55:14 -04:00
Quinn Dougherty
9f35039b60 second pass; one CR comment 2022-04-20 13:41:22 -04:00
Quinn Dougherty
9cdffc309b functions reference is almost done 2022-04-20 12:09:57 -04:00
Quinn Dougherty
76a0f254ea removed pull request trigger from codeql analysis 2022-04-20 11:55:56 -04:00
8cb689e661 fix: style 2022-04-14 16:38:12 -04:00
bd3f2c99d1 tweak: add explanation for magic number 2022-04-14 16:25:15 -04:00
Quinn Dougherty
6ffe2d4f34 cleaned up README and ran yarn format 2022-04-13 14:57:01 -04:00
Quinn Dougherty
b0cf8adb9f migrated invariants.md to docusaurus 2022-04-13 14:46:01 -04:00