hts 1.3.1

HTS CTT-CCHM Homotopy Type System

Links

License

ISC

Downloads

0 20 40 60 80 Last 30 days, all versions
  • 107 107
    this version
  • 0 0
    yesterday
  • 4 4
    last 7 days
  • 185 185
    all time

Versions (2)

Dependencies (0)

Recent Activity

  • Oct 06, 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

Publisher

5ht

Dependents (0)

About Hex

Help

Policies and Terms

2020 © Six Colors AB.

Powered by the Erlang VM and the Elixir programming language.