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