hts

v1.3.1

HTS CTT-CCHM Homotopy Type System

HexDocs HexPreview

Current section

0 Dependants

Jump to

Readme 2 Versions 0 Dependencies 0 Dependants Activity

Packages depending on hts

0 packages

No packages depend on hts yet.

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

240

yesterday

0

last 7 days

8

all time

375

Last Updated

Mar 19, 2020

License

ISC

Build Tools

mix rebar3

Publisher

Links

GitHub

Owners

5ht
doxtop