quantified.uncertainty/squiggle
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,102 Commits 74 Branches 5 Tags 16 MiB
properties
Commit Graph

388 Commits

Author SHA1 Message Date
NunoSempere
6a83554086 feat: Added notes over pdfs 
as well as cleaned up the doc a bit

note: I don't really like the term "invariants"
 2022-04-12 21:24:52 -04:00
NunoSempere
f3a73a9147 merge: invariants docs 2022-04-12 20:32:24 -04:00
NunoSempere
8828977db7 fix: typo in algebraic properties doc 2022-04-12 20:30:40 -04:00
Quinn Dougherty
ceea4d1a5d fixed up default.nix with correct pandoc command 2022-04-12 18:27:03 -04:00
Quinn Dougherty
7e61d8890e removed commented out pkgs 2022-04-12 17:58:51 -04:00
NunoSempere
bfae8b0e6d feat: initial properties to test squiggle validity 2022-04-12 17:50:53 -04:00
Quinn Dougherty
ecfd8deece scaffolding in place for properties.pdf 2022-04-12 17:22:11 -04: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
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
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
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
Sam Nolan
e5baf23950 Run prettier in squiggle-lang 2022-04-11 10:51:43 +10:00
Sam Nolan
1825b1f250 Type the lang typescript interface 2022-04-11 10:48:45 +10:00
Sam Nolan
b15cd7536c Rename Javascript-library file 2022-04-11 10:38:13 +10:00
Sam Nolan
3db9f066fe Fix dead footer link causing build errors 2022-04-11 10:37:08 +10:00
Sam Nolan
da9ee2aaee Create sidebar tree 2022-04-11 10:13:11 +10:00
Sam Nolan
eeb6243bc4 Updated link to storybook 2022-04-11 09:52:39 +10:00
Sam Nolan
a639759f86 Change main branch to master in website 2022-04-11 09:27:36 +10:00
Sam Nolan
efb0f5e05a Run prettier on website code 2022-04-11 09:15:46 +10:00
Sam Nolan
79ac1700d1 Include a playground in the squiggle website 2022-04-11 09:14:39 +10:00
Ozzie Gooen
e1d7a3ff7d
Merge pull request #197 from QURIresearch/Components-improvement-april-2 
Components improvement april 2
 2022-04-10 18:28:28 -04:00
dependabot[bot]
57253f1c2d
Bump @types/react from 17.0.44 to 18.0.1 
Bumps [@types/react](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/react) from 17.0.44 to 18.0.1.
- [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-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-10 18:08:29 +00:00
Quinn Dougherty
36c8bed1c2 react-ace 2022-04-10 13:55:58 -04:00
Quinn Dougherty
4d6f4fd641 rm playground/package.json 2022-04-10 13:37:10 -04:00