9 Forks
114 Stars
114 Watchers

ttlite

A SuperCompiler for Martin-Löf's Type Theory

How to download and setup ttlite

Open terminal and run command
git clone https://github.com/ilya-klyuchnikov/ttlite.git
git clone is used to create a copy or clone of ttlite repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with ttlite https://github.com/ilya-klyuchnikov/ttlite/archive/master.zip

Or simply clone ttlite with SSH
[email protected]:ilya-klyuchnikov/ttlite.git

If you have some problems with ttlite

You may open issue on ttlite support forum (system) here: https://github.com/ilya-klyuchnikov/ttlite/issues