| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Prod.nix | 1219 | logplain |
| -rw-r--r-- | Server.hs | 7922 | logplain |
| -rw-r--r-- | Server.nix | 988 | logplain |
| -rw-r--r-- | Website.hs | 2642 | logplain |
| -rw-r--r-- | apidocs.md | 32 | logplain |
| -rwxr-xr-x | client.py | 3369 | logplain |
| -rw-r--r-- | index.md | 2023 | logplain |
| -rw-r--r-- | quescripts.md | 1412 | logplain |
| -rw-r--r-- | style.css | 2164 | logplain |
| -rw-r--r-- | tutorial.md | 1824 | logplain |
 |
index : omni.git | |
| not just a monorepo, its an *omnirepo* | ben |
| summaryrefslogtreecommitdiff |