search

jonsterling / coq-domains

http://www.jonmsterling.com/coq-domains/toc.html
18 stars 1 forks source link

lift monadicity #16

Closed clayrat closed 3 years ago

clayrat commented 3 years ago

Do we need this? :) I just added it because we had unit already.