Repository navigation

agda

Public

forked from agda/agda

About

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

wiki.portal.chalmers.se/agda/pmwiki.php

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
benchmark		benchmark
doc		doc
examples		examples
macros		macros
mk		mk
notes		notes
src		src
std-lib @ 6ed6779		std-lib @ 6ed6779
test		test
.authorspellings		.authorspellings
.ghci		.ghci
.gitignore		.gitignore
.gitmodules		.gitmodules
.mailmap		.mailmap
.travis.yml		.travis.yml
Agda.cabal		Agda.cabal
CHANGELOG.md		CHANGELOG.md
HACKING.md		HACKING.md
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
Setup.hs		Setup.hs
appveyor.yml		appveyor.yml
release.sh		release.sh
stack-7.10.3.yaml		stack-7.10.3.yaml
stack-8.0.2.yaml		stack-8.0.2.yaml
stack-8.2.2.yaml		stack-8.2.2.yaml
stack-8.4.4.yaml		stack-8.4.4.yaml
stack-8.6.3.yaml		stack-8.6.3.yaml
stack-dev-8.4.3.yaml		stack-dev-8.4.3.yaml

Repository files navigation

Agda 2

Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.

Documentation

Getting Started

Hacking on Agda

Head to HACKING

About

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

wiki.portal.chalmers.se/agda/pmwiki.php

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages