path: root/README.md

# dissertation

## requirements

```
$ raco pkg install rosette
```