Toggle navigation
Packages
Pricing
Docs
Log in
homotopy
1.3.1
CTT-CCHM Homotopy Type System
Links
Online documentation
GitHub
License
ISC
Downloads
0
20
40
60
80
Last 30 days, 1.3.1
98
98
this version
0
0
yesterday
0
0
last 7 days
98
98
all time
Versions
(1)
1.3.1
Mar 19, 2020
Dependencies
(0)
Recent Activity
Oct 06, 2020
Add doxtop as a level full owner
Mar 20, 2020
Publish documentation for release 1.3.1
Mar 20, 2020
Publish release 1.3.1
Mar 19, 2020
Publish documentation for release 1.3.1
Mar 19, 2020
Publish release 1.3.1
Mar 19, 2020
Publish documentation for release 1.3.1
Mar 19, 2020
Publish release 1.3.1
Show All Activities
Config
mix.exs
rebar.config
erlang.mk
Checksum
Build Tools
mix
rebar3
Owners
5ht
doxtop
Publisher
5ht
Dependents (0)