pingu/Computeability
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
15 Commits 1 Branch 0 Tags
916bd92bcb31dd820068083e791ccc9d32e2b0ee
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
pingu 916bd92bcb Now works, just had to be lazy in the lookup
2025-11-25 21:48:57 +01:00
3or4
Now works, just had to be lazy in the lookup
2025-11-25 21:48:57 +01:00
.gitignore
Initial
2025-11-17 14:27:04 +01:00
1.org
Initial
2025-11-17 14:27:04 +01:00
2.org
Initial
2025-11-17 14:27:04 +01:00
two.agda
Initial
2025-11-17 14:27:04 +01:00
Description
No description provided
127 KiB
Languages
Haskell 84.4%
Agda 9.2%
Nix 6.4%