package anders

  1. Overview
  2. No Docs
CCHM homotopy system type checker based on Mini-TT for OCaml

Install

Dune Dependency

groupoid.space Edit opam file Versions (5)

Authors

  1. G
    Groupoid Infinity

Maintainers

  1. N
    Namdak Tonpa <maxim@synrc.com>

Sources

0.7.zip
md5=258c659c2b4dd602db1d844ef14189f8
sha512=d2e7f982ebcd99a05fc7a155c408f6317c0a70dfd33f6b2bc1d6a1fcdf920601b38169c7ee8ec8325a55143d7763ee5bc411c71bfb6a326a7d0b76c5f5ceb496

Description

Published: 05 Jul 2021

Dependencies (3)

  1. menhir >= "2.7"
  2. ocaml >= "4.10.0"
  3. dune >= "2.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None