| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | Analysis.hs | 7537 | logplain |
| -rw-r--r-- | Analysis.nix | 428 | logplain |
| -rw-r--r-- | env.sh | 344 | logplain |
| -rwxr-xr-x | get-examples.sh | 521 | logplain |
| -rwxr-xr-x | main.py | 7387 | logplain |
| -rw-r--r-- | pitch.md | 1607 | logplain |
 |
index : omni.git | |
| not just a monorepo, its an *omnirepo* | ben |
| summaryrefslogtreecommitdiff |