ssube
/
agulator
1
0
Fork 0
Code

add build to readme

This commit is contained in:
Sean Sube 2022-10-01 00:28:06 -05:00
parent e7760fa553
commit b1ab8ef3f0
1 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
README.md
View File

@ -10,3 +10,23 @@ result: 221, result: 7
This is my brain now, it doesn't work so good:
![agulator](https://cdn.drawception.com/drawings/MjWfbBamq9.png)
## Build
To build the Agda version:
```bash
> cd agda
> agda -c ./Calc.agda
```
This will compile to a binary executable at `agda/Calc`.
To build the Typescript version:
```bash
> typescript
> $(yarn bin)/tsc
```
This will compile to a JS module at `typescript/out/Calc.js`.