avoid hb.1.6.0 - Githubissues

affeldt-aist / monae

Monadic effects and equational reasonig in Coq

GNU Lesser General Public License v2.1

67 stars 11 forks source link

avoid hb.1.6.0 #124

Closed affeldt-aist closed 11 months ago