Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
idris-but-not-agda
branch
bool-dict
fixities
idris-but-not-agda
tag
IdrisButNotAgda
Name
Saransh-cpp's repositories
README.md