minhnhdo / software-foundations

Software Foundations in Idris

https://idris-hackers.github.io/software-foundations

20

minhnhdo/software-foundations Watchers

James Cloos
jhcloos
Matthew Do
minhnhdo

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.