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
  6. K
    Kazunari Tanaka

Maintainers

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

Sources

v0.1.tar.gz
sha512=a5a0c1c8c1939ec5ad3046023268d4fadf6b0098433035f6d8555229dae04b1d899ca802ff3e0331747ba23d5139b7e27a34fb930be2d35032602941df1d41eb

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 keyword: nondeterminism logpath:monae date:2020-03-21

Published: 21 Mar 2020

Dependencies (2)

  1. coq-infotheo >= "0.1" & < "0.1.1"
  2. coq >= "8.10" & < "8.12~"

Dev Dependencies

None

Used by

None

Conflicts

None