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.0.0.tar.gz
md5=bf6f72be96bdfa60095ea316980fe687
sha512=d2f1a802261992f2c892fe6ea2fed1cf4f35fe55ec57dfd0f08d03b0edf43b3b97bb718b45f5d6444c7c9b4f57febee9a1932fe4a5fd691c0a5f77ce05341cde

doc/index.html

anders