diff --git a/purescript/README.md b/purescript/README.md index c760a30..eb43f54 100644 --- a/purescript/README.md +++ b/purescript/README.md @@ -20,6 +20,7 @@ | [proofs](./proofs) | Attempt at expressing mathematical proofs using Purescript's effect system | | [purebird](./purebird) | Flappy-bird game | | [purpleflow](./purpleflow) | Unfinished dependently-typed programming language | +| [reverse-state](./reverse-state) | Implementation of, (drum roll), reverse state | | [slice](./slice) | Basic benchmarks and a `Slice` type | | [sprint](./sprint) | Failled effect-system based on typelevel lists | | [strategy](./strategy) | Unfinished attempt at implementing a mixed strategy nash equilibrium solver |