Math related to finite set and vectors, in Idris
silky / idris-finite-math Goto Github PK
View Code? Open in Web Editor NEWThis project forked from kestertong/idris-finite-math
Math related to finite set and vectors, in Idris
License: BSD 3-Clause "New" or "Revised" License