How to download and setup HoTT-Intro
Open terminal and run command
git clone https://github.com/EgbertRijke/HoTT-Intro.git
git clone is used to create a copy or clone of HoTT-Intro 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 HoTT-Intro https://github.com/EgbertRijke/HoTT-Intro/archive/master.zip
Or simply clone HoTT-Intro with SSH
[email protected]:EgbertRijke/HoTT-Intro.git
If you have some problems with HoTT-Intro
You may open issue on HoTT-Intro support forum (system) here: https://github.com/EgbertRijke/HoTT-Intro/issuesSimilar to HoTT-Intro repositories
Here you may see HoTT-Intro alternatives and analogs
You-Dont-Know-JS python-guide Functional-Light-JS adv-r AndroidNote android-dev-sources docker_practice thejsway wtfjs pure-bash-bible mit-deep-learning-book-pdf bash-handbook data-science-at-the-command-line r4ds The-complete-guide-to-modern-JavaScript netkiller.github.io Game-Programmer-Study-Notes the-way-to-go_ZH_CN os01 RE-for-beginners growth-ebook progit GoBooks go-internals blockchain_guide BookReader ethereumbook Awsome-Front-End-learning-resource TensorFlow-Book github