package anders

  1. Overview
  2. Docs
Modal Homotopy Type System

Install 

dune-project
 Dependency

anders.groupoid.space Readme 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

doc/index.html

anders