Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
src
 
 
 
 
 
 
 
 
 
 

HTS: Homotopy Type System for Erlang

Build Status Hex pm

$ ./homotopy
CTT-CCHM Homotopy Type System 1.3.1

   Usage := homotopy Args <filename>
    Args := Command | Command Args
 Command := parse | lex | read | fst | snd | file

Erlang

$ sudo apt install erlang
$ curl -fsSL https://git.io/fpYm4 > mad
$ chmod +x mad
$ sudo cp mad /usr/local/bin
$ mad compile release homotopy
$ ./homotopy parse file core/mltt.ctt

Elixir

$ sudo apt install elixir
$ mix deps.get
$ iex -S mix
> :homotopy.console ['parse','file','core/mltt.ctt']

Credits

Namdak Tonpa

About

🧊 HTS: Homotopy Type System for Erlang

Topics

Resources

Releases

No releases published

Packages

No packages published