sgai/directed-complex
8
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Ali Abrar 2025-08-22 09:19:09 +00:00
parent 9ad49c4405
commit c23f2af735
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -1,5 +1,10 @@
# directed-complex # 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) Inspired by [the topic of Amar's presentation](https://ncatlab.org/nlab/show/regular%20directed%20complex)
![Blackboard](./blackboard.png) ![Blackboard](./blackboard.png)