agda

programming-language

Agda is a dependently typed programming language / interactive theorem prover.

How to download and setup agda

Open terminal and run command

git clone https://github.com/agda/agda.git

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

Or simply clone agda with SSH

[email protected]:agda/agda.git

If you have some problems with agda

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

Similar to agda repositories

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