issues
search
affeldt-aist
/
monae
Monadic effects and equational reasonig in Coq
GNU Lesser General Public License v2.1
67
stars
11
forks
source link
add Restart and FromW
#115
Closed
garrigue
closed
1 year ago
garrigue
commented
1 year ago
Add coqgen operations, and allow computing in example_typed_store.
Add coqgen operations, and allow computing in example_typed_store.