package coq-lens

  1. Overview
  2. No Docs
Generation of lenses for record datatypes

Install

Dune Dependency

github.com Edit opam file Versions (3)

Authors

  1. G
    Gregory Malecha <gregory@bedrocksystems.com>

Maintainers

  1. G
    gregory@bedrocksystems.com

Sources

v1.0.0.tar.gz
sha256=1f5009707ae6a7c225be55e118faa1131d4d35ea5e61612cef150e945fad23db

Description

Tags

logpath: Lens date: 2020-03-29

Published: 30 Mar 2020

Dependencies (3)

  1. coq-metacoq-template = "1.0~alpha2+8.11"
  2. coq >= "8.11" & < "8.12~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None