pingu/Computeability
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
22 Commits 1 Branch 0 Tags
8a26a61b6f1aea0307ba3ad7b8ecf4ae56369d40
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
pingu 8a26a61b6f Ow
2025-12-08 15:21:50 +01:00
3or4or6
Ow
2025-12-08 15:21:50 +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
5.org
Move for next
2025-12-08 15:21:42 +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%