package anders

You can search for identifiers within the package.

in-package search v0.2.0

Modal Homotopy Type System

Install

Dune Dependency

groupoid.space Readme Edit opam file Versions (4)

Authors

Maintainers

N

Namdak Tonpa <maxim@synrc.com>

Sources

md5=265c4b61dabe697e90a6ca2db300542b

sha512=9474fb6be18950afeea0bcc31489b2152209332e92d40ec10262100528ecf596196e05746ced7d687bc7e09695a1bcb52f52032ca8b2cfdc4a7fca454960fd49

doc/index.html

anders