hts

v1.3.1

HTS CTT-CCHM Homotopy Type System

HexDocs HexPreview

Readme 0 Dependencies 0 Dependants Activity Versions

Loading README...

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, 1.3.1

this version

234

yesterday

0

last 7 days

0

all time

367

Last Updated

Mar 19, 2020

License

ISC

Build Tools

mix rebar3

Publisher

Links

GitHub

Owners

5ht
doxtop