wball/fol_idris
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
6 commits 1 branch 0 tags 41 KiB

Default branch

main

7eb7a810d6 · auto implicits! · Updated 2025-08-13 22:40:17 -07:00

 ZIP  TAR.GZ

Branches