package coq-monae

  1. Overview
  2. No Docs
Monae

Install

Dune Dependency

github.com Edit opam file Versions (27)

Authors

  1. R
    Reynald Affeldt
  2. D
    David Nowak
  3. T
    Takafumi Saikawa

Maintainers

  1. R
    reynald.affeldt@aist.go.jp

Sources

0.0.1.tar.gz
md5=098f07dde98231f5068b9d0b09670dc3

Description

This repository contains a formalization of monads including several models, examples of monadic equational reasoning, and an application to program semantics.

Published: 04 Jul 2019

Dependencies (2)

  1. coq-infotheo (>= "0.0.1" & < "0.0.4")
  2. coq (>= "8.9.1" & < "8.10.0~")

Dev Dependencies

None

Used by

None

Conflicts

None