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.3.tar.gz
sha512=8f8e97b32100b8393b20dbfbaa715b933416fbdfbe42e1c6acc0b6b37920f39f58c59c9c3c2e65549849080c3ce511bf7f5260f785ecd549b6dea1193a178f53

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-11-09

Published: 09 Nov 2019

Dependencies (2)

  1. coq-infotheo >= "0.0.5" & < "0.0.7"
  2. coq >= "8.10" & < "8.11~"

Dev Dependencies

None

Used by

None

Conflicts

None