Please enable JavaScript in your browser!
Home
Esplora
Aiuto
Registrati
Accedi
sheaf
/
finitary
forkato da
koz.ross/finitary
Segui
1
Vota
1
Forka
1
File
Pull Requests
0
Ramo (Branch):
master
Rami (Branch)
Tag
dev
finite1
flags
master
minimal
2.0.0.0
1.2.0.0
1.1.0.0
1.0.0.0
0.1.0.0
Cronologia Commit
Cerca
Autore
SHA1
Messaggio
Data
Koz Ross
11695ac328
GHC 8.10, remove coercible-utils dep
4 anni fa
Koz Ross
b83cbceeda
Start a principled rewrite
4 anni fa