https://github.com/deciduously/math-tools
I'm studying PureScript and Calculus this summer. Warum nicht beide?
https://github.com/deciduously/math-tools
Last synced: 5 months ago
JSON representation
I'm studying PureScript and Calculus this summer. Warum nicht beide?
- Host: GitHub
- URL: https://github.com/deciduously/math-tools
- Owner: deciduously
- License: bsd-3-clause
- Created: 2020-05-18T02:53:57.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-05-19T21:45:06.000Z (about 6 years ago)
- Last Synced: 2025-04-01T14:19:02.475Z (about 1 year ago)
- Language: Dhall
- Homepage:
- Size: 14.6 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# math-tools
[](https://github.com/deciduously/math-tools/actions)
I'm learning PureScript and Calculus for the first time this summer. Behold.
## Dependencies
* [Node](https://nodejs.org/en/) - JavaScript runtime.
* [PureScript](https://www.purescript.org/). Try `npm i -g purescript`. The `npm` Node Package Manager executable should have been installed alongside `node`.
* [Spago](https://github.com/purescript/spago) - the PureScript package manager. Try `npm i -g spago`.
It's also helpful to set up [`stack`](https://docs.haskellstack.org/en/stable/README/). After installing, run `stack config set resolver ghc-8.6.5` because GCH 8.6.* seems to have better ecosystem support than 8.8.*, and then run `stack setup` to install the Haskell compiler. Make sure `$HOME/.local/bin` is in your path, as that's where `stack install` will place executable binaries.
## Usage
```
/path/to/ $ git clone git@github.com:deciduously/math-tools.git
$ cd math-tools
/path/to/math-tools/ $ spago build
[info] Installation complete.
Compiling Type.Data.RowList
Compiling Partial
// lots of output
[info] Build succeeded.
$
```
Use `spago repl` to enter a project REPL, `spago test` to run the tests, or `spago run` to execute `main`. Use `spago bundle-app` to produce the optimized production bundle at `index.js`.