minitt-rs

programming-language

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

How to download and setup minitt-rs

Open terminal and run command

git clone https://github.com/owo-lang/minitt-rs.git

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

Or simply clone minitt-rs with SSH

[email protected]:owo-lang/minitt-rs.git

If you have some problems with minitt-rs

You may open issue on minitt-rs support forum (system) here: https://github.com/owo-lang/minitt-rs/issues

Similar to minitt-rs repositories

Here you may see minitt-rs alternatives and analogs

ruby golang-examples go awesome-cheatsheets CreepyCodeCollection ACM-ICPC-Preparation cs-video-courses julia kotlin influential-cs-books lowlevelprogramming-university elvish Eve sarl red awesome-compilers haxe Free-Courses solidity gravity sdk dmd coconut ElixirBooks reason awesome-static-analysis ponyc locutus alda Learn-iOS-Swift-by-Examples