wkolowski/coq-mtl

An mtl-like library for dealing with effects in Coq

Coq