Something went wrong. Try again.
Something went wrong. Try again.
- Languages
- 4
- Total size
- 253 kB
- Primary language
- Haskell
Haskell: 74%, 188 kB
Agda: 25%, 64 kB
Nix: <1%, 1.2 kB
Makefile: <1%, 309 B
| Language | Size | Share |
|---|---|---|
| Haskell | 188 kB | 74% |
| Agda | 64 kB | 25% |
| Nix | 1.2 kB | <1% |
| Makefile | 309 B | <1% |