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
  4. Jacques Garrigue
  5. C
    Celestine Sauvage

Maintainers

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

Sources

0.0.4.tar.gz
sha512=cb8016939f907f53f6cbece52043d411cf726c278a4ea1f94eb1b1eb3505394ddce9deffb16f18c348385b32dd7ab22a12b7a6bdc83df27efeb09e9e8b417e66

Description

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

Tags

category:Computer Science/Semantics and Compilation/Semantics keyword: monads keyword: effects keyword: probability logpath:monae date:2019-12-06

Published: 06 Dec 2019

Dependencies (2)

  1. coq-infotheo >= "0.0.6" & < "0.0.7"
  2. coq >= "8.10" & < "8.12~"

Dev Dependencies

None

Used by

None

Conflicts

None