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.1.tar.gz
sha256=c1092aa89e885dd4abe1abc0605474440e8a763569be0accbbf6af4b129b3a91

Description

Tags

logpath:Lens date: 2020-11-18

Published: 18 Nov 2020

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None