Commit Graph

510 Commits

Author SHA1 Message Date
ec9c67f090 feat: Audit SymbolicDist.res
- Fix buggy lognormal multiplication code
- Add precision to 90% confidence intervals code
- Simplified lognormal code
- Added sources for many of the manipulations
2022-04-14 16:03:54 -04:00
Quinn
9ab511cd3c
Merge pull request #271 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/builder-webpack5-6.4.22
Bump @storybook/builder-webpack5 from 6.4.21 to 6.4.22
2022-04-14 11:28:33 -04:00
Quinn
99a91f4420
Merge pull request #270 from quantified-uncertainty/dependabot/npm_and_yarn/types/node-17.0.24
Bump @types/node from 17.0.23 to 17.0.24
2022-04-14 11:28:18 -04:00
Quinn
01868179c9
Merge pull request #269 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/react-6.4.22
Bump @storybook/react from 6.4.21 to 6.4.22
2022-04-14 11:23:33 -04:00
dependabot[bot]
c92166b63b
Bump @storybook/builder-webpack5 from 6.4.21 to 6.4.22
Bumps [@storybook/builder-webpack5](https://github.com/storybookjs/storybook/tree/HEAD/lib/core) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/lib/core)

---
updated-dependencies:
- dependency-name: "@storybook/builder-webpack5"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-14 15:22:13 +00:00
dependabot[bot]
a5e3e3cfb3
Bump @types/node from 17.0.23 to 17.0.24
Bumps [@types/node](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/node) from 17.0.23 to 17.0.24.
- [Release notes](https://github.com/DefinitelyTyped/DefinitelyTyped/releases)
- [Commits](https://github.com/DefinitelyTyped/DefinitelyTyped/commits/HEAD/types/node)

---
updated-dependencies:
- dependency-name: "@types/node"
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-14 15:22:10 +00:00
dependabot[bot]
bf91cfff03
Bump @storybook/react from 6.4.21 to 6.4.22
Bumps [@storybook/react](https://github.com/storybookjs/storybook/tree/HEAD/app/react) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/app/react)

---
updated-dependencies:
- dependency-name: "@storybook/react"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-14 15:15:35 +00:00
dependabot[bot]
e236199186
Bump @storybook/addon-essentials from 6.4.21 to 6.4.22
Bumps [@storybook/addon-essentials](https://github.com/storybookjs/storybook/tree/HEAD/addons/essentials) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/addons/essentials)

---
updated-dependencies:
- dependency-name: "@storybook/addon-essentials"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-14 15:15:30 +00:00
Quinn
ef9352e209
Merge pull request #264 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/manager-webpack5-6.4.22
Bump @storybook/manager-webpack5 from 6.4.21 to 6.4.22
2022-04-14 11:14:43 -04:00
Quinn
a88d12d091
Merge pull request #267 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/addon-links-6.4.22
Bump @storybook/addon-links from 6.4.21 to 6.4.22
2022-04-14 11:14:22 -04:00
Quinn
caf0e7a503
Merge pull request #265 from quantified-uncertainty/dependabot/npm_and_yarn/hast-util-is-element-2.1.2
Bump hast-util-is-element from 1.1.0 to 2.1.2
2022-04-14 11:12:04 -04:00
dependabot[bot]
b034b024a1
Bump @storybook/addon-links from 6.4.21 to 6.4.22
Bumps [@storybook/addon-links](https://github.com/storybookjs/storybook/tree/HEAD/addons/links) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/addons/links)

---
updated-dependencies:
- dependency-name: "@storybook/addon-links"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-14 15:09:24 +00:00
dependabot[bot]
4ebde9c4ea
Bump @storybook/manager-webpack5 from 6.4.21 to 6.4.22
Bumps [@storybook/manager-webpack5](https://github.com/storybookjs/storybook/tree/HEAD/lib/core) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/lib/core)

---
updated-dependencies:
- dependency-name: "@storybook/manager-webpack5"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-14 15:09:22 +00:00
Quinn
c678fcad79
Merge pull request #263 from quantified-uncertainty/dependabot/npm_and_yarn/storybook/node-logger-6.4.22
Bump @storybook/node-logger from 6.4.21 to 6.4.22
2022-04-14 11:08:19 -04:00
dependabot[bot]
ad498a1a30
Bump hast-util-is-element from 1.1.0 to 2.1.2
Bumps [hast-util-is-element](https://github.com/syntax-tree/hast-util-is-element) from 1.1.0 to 2.1.2.
- [Release notes](https://github.com/syntax-tree/hast-util-is-element/releases)
- [Commits](https://github.com/syntax-tree/hast-util-is-element/compare/1.1.0...2.1.2)

---
updated-dependencies:
- dependency-name: hast-util-is-element
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-14 14:42:53 +00:00
dependabot[bot]
e463a6cf17
Bump @storybook/node-logger from 6.4.21 to 6.4.22
Bumps [@storybook/node-logger](https://github.com/storybookjs/storybook/tree/HEAD/lib/node-logger) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/lib/node-logger)

---
updated-dependencies:
- dependency-name: "@storybook/node-logger"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-14 14:42:23 +00:00
dependabot[bot]
1424206470
Bump @storybook/addon-actions from 6.4.21 to 6.4.22
Bumps [@storybook/addon-actions](https://github.com/storybookjs/storybook/tree/HEAD/addons/actions) from 6.4.21 to 6.4.22.
- [Release notes](https://github.com/storybookjs/storybook/releases)
- [Changelog](https://github.com/storybookjs/storybook/blob/next/CHANGELOG.md)
- [Commits](https://github.com/storybookjs/storybook/commits/v6.4.22/addons/actions)

---
updated-dependencies:
- dependency-name: "@storybook/addon-actions"
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-14 14:41:53 +00:00
Quinn
a9cbcf2079
hotfix: develop-- branch deploy rather than deploy preview in module docstring 2022-04-13 21:12:40 -04:00
Ozzie Gooen
02bf4c6a8a
Merge pull request #257 from quantified-uncertainty/issue250
Improvements to `Means_test.res` (and `expectErrorToBeBounded`)
2022-04-13 21:03:33 -04:00
Quinn Dougherty
b3c0adcd30 last CR comments 2022-04-13 20:58:16 -04:00
Quinn Dougherty
99d1c345c5 CR comments 2022-04-13 19:58:36 -04:00
Ozzie Gooen
478bbf5740 First attempt at handling arrays and records 2022-04-13 19:37:59 -04:00
Quinn Dougherty
b0ff2c19f5 yarn format 2022-04-13 19:18:08 -04:00
Quinn Dougherty
24fe66c9d3 6/6 tasks done 2022-04-13 19:17:49 -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
Ozzie Gooen
bd10a0bbf8
Merge pull request #232 from quantified-uncertainty/testing-discipline-algebraic-operations
Testing discipline: algebraic operations
2022-04-13 14:00:58 -04:00
Quinn Dougherty
3bf571f953 CR comment 2022-04-13 12:06:50 -04:00
Quinn Dougherty
7e6a26a2d0 comments and type signatures 2022-04-13 11:54:37 -04:00
dependabot[bot]
443f8983a7
Bump react-scripts from 5.0.0 to 5.0.1
Bumps [react-scripts](https://github.com/facebook/create-react-app/tree/HEAD/packages/react-scripts) from 5.0.0 to 5.0.1.
- [Release notes](https://github.com/facebook/create-react-app/releases)
- [Changelog](https://github.com/facebook/create-react-app/blob/main/CHANGELOG.md)
- [Commits](https://github.com/facebook/create-react-app/commits/react-scripts@5.0.1/packages/react-scripts)

---
updated-dependencies:
- dependency-name: react-scripts
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-13 14:46:52 +00:00
dependabot[bot]
8c89cf8922
Bump @types/react from 18.0.2 to 18.0.3
Bumps [@types/react](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/react) from 18.0.2 to 18.0.3.
- [Release notes](https://github.com/DefinitelyTyped/DefinitelyTyped/releases)
- [Commits](https://github.com/DefinitelyTyped/DefinitelyTyped/commits/HEAD/types/react)

---
updated-dependencies:
- dependency-name: "@types/react"
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-13 14:33:02 +00:00
Quinn Dougherty
165427f137 refactored to a higher level of abstraction 2022-04-13 10:30:23 -04:00
Quinn Dougherty
e9e6cab099 silenced warning about toString not having switch case for ArgumentError 2022-04-13 10:26:10 -04:00
Sam Nolan
948a8dd651 Add analytic solutions for normal and lognormal 2022-04-13 15:11:14 +10:00
Quinn Dougherty
b6e423a6e3 fixed bug after rebase: hope it doesn't cause problems 2022-04-13 01:08:51 -04:00
Quinn Dougherty
de81928ea9 Ran yarn format 2022-04-13 01:05:09 -04:00
Quinn Dougherty
8287f51aae yarn test:quick to skip invariants 2022-04-13 01:05:09 -04:00
Quinn Dougherty
72b557d64a renamed Algebra subdir to Invariants 2022-04-13 01:05:09 -04:00
Quinn Dougherty
af0577f85e test count: 386 2022-04-13 01:05:09 -04:00
Quinn Dougherty
59fcd6a26c intermediate commit to checkout something else 2022-04-13 01:05:08 -04:00
Quinn Dougherty
dd53c7554b (rebase): begin setup for big redo 2022-04-13 01:05:08 -04:00
Quinn Dougherty
396fb9f6b0 intermediate commit before I do a rebase 2022-04-13 01:05:08 -04:00
Quinn Dougherty
12d2397b57 improved messaging 2022-04-13 01:05:08 -04:00
Quinn Dougherty
49174827f8 (rebase): added more test 2022-04-13 01:05:08 -04:00
Quinn Dougherty
9d857bf79b (rebase): documented ratio of lognormals 2022-04-13 01:05:08 -04:00
Quinn Dougherty
a637fe5dff inv precise 2022-04-13 01:05:08 -04:00
Quinn Dougherty
a64cd75ead inv and cdf 2022-04-13 01:05:08 -04:00
Quinn Dougherty
6a4d615d3d (rebase): (rebase): (rebase): **refactor**: rm duplicated genericDist and error declarations 2022-04-13 01:04:53 -04:00
Sam Nolan
348b1c9ac6 Add normal distribution analytical simplifications 2022-04-13 14:36:30 +10:00
Sam Nolan
117c08bfa9 Fix unweighted average of distributions 2022-04-13 12:03:04 +10:00
Sam Nolan
38135f0c81 Merge branch 'develop' into mix-distributions 2022-04-13 11:22:43 +10:00
Quinn Dougherty
b17f638483 EBindings -> T.EBindings 2022-04-12 20:48:53 -04:00
Quinn Dougherty
4f95c019eb yarn format 2022-04-12 20:22:19 -04:00
Sam Nolan
e234951d62 Hotfix bundle failure 2022-04-13 10:14:11 +10:00
Sam Nolan
f2f885f269 Hotfix Typescript checker failing 2022-04-13 10:07:33 +10:00
Ozzie Gooen
263c4271bf
Merge pull request #226 from umuro/reducer-dev
Reducer dev
2022-04-12 19:49:27 -04:00
Umur Ozkul
fea990de2d Sam's patch PR#226 2022-04-13 01:34:06 +02:00
Umur Ozkul
d1ea15e4f9 fix ts export 2022-04-12 17:12:19 +02:00
Umur Ozkul
1b4422bb90 revise lisp references - close umuro/squiggle#50 2022-04-12 16:26:55 +02:00
Umur Ozkul
a95cdfabe3 dont use short Desc - close umuro/squiggle#51 2022-04-12 16:19:50 +02:00
Umur Ozkul
05b5efce18 remove -> in switch cases. close umuro/squiggle#59
squiggle
2022-04-12 16:15:27 +02:00
Umur Ozkul
4fe72b8fb4 remove Reduce_Expression.rsi.
Too many changes. Hot target. Preventing development
2022-04-12 15:47:46 +02:00
Umur Ozkul
9c7f930549 Merge branch 'develop' into reducer-dev
packages/squiggle-lang/src/rescript/Reducer/Reducer_Expression/Reducer_Expression.resi
2022-04-12 15:46:48 +02:00
dependabot[bot]
7a160ad445
Bump @types/webpack from 4.41.32 to 5.28.0
Bumps [@types/webpack](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/webpack) from 4.41.32 to 5.28.0.
- [Release notes](https://github.com/DefinitelyTyped/DefinitelyTyped/releases)
- [Commits](https://github.com/DefinitelyTyped/DefinitelyTyped/commits/HEAD/types/webpack)

---
updated-dependencies:
- dependency-name: "@types/webpack"
  dependency-type: direct:development
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-12 10:40:56 +00:00
Sam Nolan
f102d70d80 Add mixture alias 2022-04-12 17:45:44 +10:00
Sam Nolan
60a345dd6d Implement mx for distributions 2022-04-12 17:39:38 +10:00
Sam Nolan
d316ad0a07 Merge branch 'develop' into reducer-playground 2022-04-12 16:45:14 +10:00
Sam Nolan
e5f8b6c7d3 Fix build errors for components and lang 2022-04-12 16:21:32 +10:00
Sam Nolan
21458227ce Respond to reducer playground PR comments 2022-04-12 16:02:34 +10:00
Sam Nolan
440bfabffa Run prettier on monorepo + fix crashing playground 2022-04-12 15:41:36 +10:00
Quinn
8a69c54fd8
coverage:ci 2022-04-11 20:33:32 -04:00
Umur Ozkul
352cccaab8
Merge branch 'develop' into reducer-dev 2022-04-12 01:47:07 +02:00
Quinn
e1689664a3
Merge pull request #230 from quantified-uncertainty/dependabot/npm_and_yarn/testing-library/react-13.0.1
Bump @testing-library/react from 13.0.0 to 13.0.1
2022-04-11 19:22:49 -04:00
Quinn
49b9801006
Merge pull request #222 from quantified-uncertainty/quinn-dougherty-patch-1
A couple tiny hotfixes to opsy stuff
2022-04-11 19:21:05 -04:00
Quinn Dougherty
c7908e85a8 prettier is proper now with yarn scripts 2022-04-11 19:15:09 -04:00
dependabot[bot]
46651e45f5
Bump @testing-library/react from 13.0.0 to 13.0.1
Bumps [@testing-library/react](https://github.com/testing-library/react-testing-library) from 13.0.0 to 13.0.1.
- [Release notes](https://github.com/testing-library/react-testing-library/releases)
- [Changelog](https://github.com/testing-library/react-testing-library/blob/main/CHANGELOG.md)
- [Commits](https://github.com/testing-library/react-testing-library/compare/v13.0.0...v13.0.1)

---
updated-dependencies:
- dependency-name: "@testing-library/react"
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-04-11 22:52:25 +00:00
Quinn Dougherty
a498ed4611 branch names in *.yml 2022-04-11 17:41:40 -04:00
Umur Ozkul
f0008c1e20 offer reducer:format as an example 2022-04-11 16:51:44 +02:00
Umur Ozkul
87116d12d5 reformat 2022-04-11 16:51:15 +02:00
Umur Ozkul
3a8e6a8f60 Merge branch 'staging' into reducer-dev 2022-04-11 16:42:37 +02:00
Umur Ozkul
660c0c70ae variables and statements
format only reducer

reformat lint

multi-line test

spelling

multi-line semantic mapping

todo multi-line eval

multi-line tests todo

change context to bindings

simplify tests

rename exception test methods

bindings is an expression value

make bindings callable

reformat

Emphasize the nature of Lisp AST

Initial definition of macros

make functions private

fixed functionNode type casting

macro call skeleton

sort ReducerInterface

fix test

macros skeleton

bindings is not a value

assignment semantics

let semantics defined

format

reformat

reformat

TODO function calls and list hd variables are confused

reformat

tmp

works

reformat

reformat

add test

reformat

add test
2022-04-11 16:31:10 +02:00
Quinn Dougherty
af3cab01bc added .resi files to lint checker 2022-04-11 09:35:25 -04:00
Sam Nolan
26433c5289 Fix failing tests based on new toString 2022-04-11 16:31:54 +10:00
Sam Nolan
0d9e8c64c3 Merge branch 'staging' into reducer-playground 2022-04-11 16:21:51 +10:00
Sam Nolan
cb07f5f68a A playground based on reducer 2022-04-11 16:16:29 +10:00
Quinn Dougherty
16258c2538 install dependencies in lint job 2022-04-11 01:27:21 -04:00
Quinn Dougherty
9f97213ec5 added deeper path in lint.sh 2022-04-11 01:24:56 -04:00
Quinn Dougherty
3f2cd652d4 path to rescript executable in lint.sh 2022-04-11 01:23:09 -04:00
Quinn Dougherty
3689caa1fc finally nailed the triggers! (I hope) 2022-04-11 01:08:54 -04:00
Quinn Dougherty
d4b00b15c1 debugging triggers again 2022-04-11 01:05:47 -04:00
Quinn Dougherty
19d5fa109b rescript format on DistPlus.res 2022-04-11 00:59:47 -04:00
Quinn Dougherty
518f082c53 (rebase): A rescript linter! 2022-04-11 00:24:12 -04:00
Quinn Dougherty
00e98766cb a rescript linter! 2022-04-11 00:23:15 -04:00
Quinn Dougherty
e4e8e4b847 ran rescript format on ProgramEvaluator.res 2022-04-11 00:23:15 -04:00
Sam Nolan
61b589d0bd Change typescript interface to reducer 2022-04-11 13:16:31 +10:00
Ozzie Gooen
531fd06eb7 Made playground its own page 2022-04-10 21:48:17 -04:00
Sam Nolan
abb41871d7
Merge pull request #221 from QURIresearch/ts-interface-typing
Ts interface typing
2022-04-11 11:25:59 +10:00
Sam Nolan
6565d97f53 Rename eval to evaluate
eval is a JS keyword
2022-04-11 11:18:38 +10:00
Sam Nolan
d6c541036f Run prettier + add missing pointWiseAdd signature 2022-04-11 11:08:34 +10:00
Sam Nolan
8f49b64083 Fix failing lang tests due to rename 2022-04-11 11:06:13 +10:00