Skip to content
GitLab
Explore
Sign in
Register
Nicola Botta
IdrisLibs2
Repository
IdrisLibs2
issues
FiniteAsInterface.idr
Find file
Blame
History
Permalink
Cleanup.
· 310d6b1e
Nicola Botta
authored
Aug 01, 2019
310d6b1e