Idris Algebra

Monday, May 4

made by nickdrozd, submitted by nicholasbs

A series of increasingly complicated algebraic proofs with clear definitions, implemented in Idris, a purely functional programming language. — nicholasbs