ideas-math-types-1.0 Initial version of the library. Some modules have been released in 2015 as part of the ideas mathematics tutors (http://hackage.haskell.org/package/ideas-math), although these modules were not exposed as a library.