Quinn Dougherty
|
c77795c832
|
absolute path for bindingsImportsFile
|
2022-07-28 10:57:58 -04:00 |
|
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 |
|
