affeldt-aist / monae

Monadic effects and equational reasonig in Coq
GNU Lesser General Public License v2.1
68 stars 12 forks source link

must `cnew` make its type argument implicit? #139

Open affeldt-aist opened 3 months ago

affeldt-aist commented 3 months ago

https://github.com/affeldt-aist/monae/blob/fd70c72f8ea80d16a5b8e4e7930522b91a43f34b/hierarchy.v#L1169