This repo houses a mess of idris code that I've been writing while I stumble through learning very basic group theory. For anyone interested, these lectures by Benedict Gross at Harvard are how I learned the little group theory I know.
jdublu10 / idris-algebra Goto Github PK
View Code? Open in Web Editor NEWAn attempt at proving algebra theorems in idris