From 6e5b85fadc0151326c2da749b43c97bf3773a618 Mon Sep 17 00:00:00 2001 From: prescientmoon Date: Sat, 12 Oct 2024 03:49:58 +0200 Subject: [PATCH] Add reverse state --- purescript/README.md | 1 + 1 file changed, 1 insertion(+) 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 |