Skip to content
Homotopy Type System for Erlang
Branch: master
Clone or download
Latest commit 687606e Dec 28, 2018
Type Name Latest commit message Commit time
Failed to load latest commit information.
src Update lam.hts Dec 28, 2018
.gitignore cleanup Dec 19, 2018
.travis.yml fix travis Dec 19, 2018
sys.config cleanup Dec 19, 2018
You can’t perform that action at this time.