Typonomikon

book

Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.

How to download and setup Typonomikon

Open terminal and run command

git clone https://github.com/wkolowski/Typonomikon.git

git clone is used to create a copy or clone of Typonomikon 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 Typonomikon https://github.com/wkolowski/Typonomikon/archive/master.zip

Or simply clone Typonomikon with SSH

[email protected]:wkolowski/Typonomikon.git

If you have some problems with Typonomikon

You may open issue on Typonomikon support forum (system) here: https://github.com/wkolowski/Typonomikon/issues

Similar to Typonomikon repositories

Here you may see Typonomikon 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