Commits

Anonymous committed 48c6be6 Draft

stop.

Comments (0)

Files changed (1)

+This library is not currently developed.
+Please take a look at https://bitbucket.org/gds/coq-practical-monads/