package anders

  1. Overview
  2. No Docs
Modal Homotopy Type System

Install 

dune-project
 Dependency

anders.groupoid.space Edit opam file Versions (6)

Authors

  1. G
    Groupoid Infinity

Maintainers

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

Sources

5.1.0.tar.gz
md5=79c80063917f23f13a61833be04159c1
sha512=8126339ec8712dfa7324f269943fed26dfd19d5c34c1e6b70a76090e3a125436c811fa930c7ac9cad71fae9c28b60ab935f34329a1439ae4ae8eca6881c2ed45

Description

Published: 02 May 2026

Dependencies (4)

  1. menhir >= "20220210"
  2. ocaml >= "4.14"
  3. zarith >= "1.12"
  4. dune >= "2.9"

Dev Dependencies

None

Used by

None

Conflicts

None