Commit Graph
2 Commits
Author SHA1 Message Date
Stephen Diehl d6d1004070 monoid module 2016-12-12 16:21:49 +00:00
Stephen Diehl 257a38f68f functor module 2016-12-12 13:09:18 +00:00