From c23f2af7359d056914bdae07c2e3ae9df60a2dc6 Mon Sep 17 00:00:00 2001 From: Ali Abrar Date: Fri, 22 Aug 2025 09:19:09 +0000 Subject: [PATCH] Update README.md --- README.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README.md b/README.md index bf76019..09e674b 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,10 @@ # directed-complex +## Working on this repo + +Use the `nix-shell` command to enter a development shell. Once in that shell use `ghcid` or `cabal repl`. + +## Background Inspired by [the topic of Amar's presentation](https://ncatlab.org/nlab/show/regular%20directed%20complex) ![Blackboard](./blackboard.png)