Verified record · from the answer index
agda
clitested · static-verifiedscore 44/100signed passport ✓134 monthly downloads
Dependently typed functional programming language
cli:brew:agda · published by agda · source repository
UnfragileUnfragileUnfragileUnfragileVerified record · from the answer index
Dependently typed functional programming language
cli:brew:agda · published by agda · source repository