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

0.0.6.tar.gz
sha512=6b4d32e7fe1833c4b481135e2a8e2c70c290d182e9c63fe42ca499f16647a6b24746f246edec136692aa82a2d37e4d3df58440d116022b29cae459413ed7ceb3

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:2019-12-06

Published: 06 Feb 2020

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None