Commit Graph

21 Commits

Author SHA1 Message Date
Quinn Dougherty
a536f1f4e1 trailing slash? 2022-07-28 10:37:00 -04:00
Quinn Dougherty
ff05685634 @berekuk's CR 2022-07-28 10:33:31 -04:00
Quinn Dougherty
405c1bf8f3 imported bindings 2022-07-27 17:31:40 -04:00
Ozzie Gooen
bb85869303 Lots of documentation tweaks 2022-06-12 21:19:28 -07:00
Quinn Dougherty
8866b9d093 the _correct_ 90 vs. 95 thing
Value: [1e-6 to 1e-4]
2022-04-27 16:56:30 -04:00
Quinn Dougherty
6bd8aecb31 Fixed 95->90
Value: [1e-4 to 3e-3]
2022-04-27 16:51:23 -04:00
Quinn Dougherty
98bc2ddd58 Made docs better
Value: [1e-3 to 2e-1]
2022-04-27 16:28:10 -04:00
Quinn Dougherty
f19f8478aa first pass at multi-arg lambda specification
Value: [0.2 to 0.83]
2022-04-26 16:54:32 -04:00
Quinn
8d0d92fbdc
hotfix: remove concatmult 2022-04-22 21:11:42 -04:00
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