8000 GitHub - agda-web/agda: [For generating patches for {Agda,ALS} WASM up to v2.8.0.] Agda is a dependently typed programming language / interactive theorem prover. · GitHub

Repository navigation

agda

Public

forked from agda/agda

About

[For generating patches for {Agda,ALS} WASM up to v2.8.0.] Agda is a dependently typed programming language / interactive theorem prover.

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

Custom properties

4 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
.github		.github
.vscode		.vscode
benchmark		benchmark
cubical @ ac62dd4		cubical @ ac62dd4
doc		doc
examples		examples
mk		mk
notes		notes
src		src
std-lib @ 6f8af94		std-lib @ 6f8af94
test		test
.envrc		.envrc
.gitignore		.gitignore
.gitmodules		.gitmodules
.hlint.yaml		.hlint.yaml
.mailmap		.mailmap
.readthedocs.yaml		.readthedocs.yaml
Agda.cabal		Agda.cabal
CHANGELOG.md		CHANGELOG.md
CITATION.cff		CITATION.cff
HACKING.md		HACKING.md
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
cabal.project.local.mtl23		cabal.project.local.mtl23
cabal.project.tc		cabal.project.tc
fix-whitespace.yaml		fix-whitespace.yaml
flake.lock		flake.lock
flake.nix		flake.nix
hie-stack.yaml		hie-stack.yaml
release.sh		release.sh
stack-8.10.7.yaml		stack-8.10.7.yaml
stack-8.8.4.yaml		stack-8.8.4.yaml
stack-9.0.2.yaml		stack-9.0.2.yaml
stack-9.10.2.yaml		stack-9.10.2.yaml
stack-9.12.2.yaml		stack-9.12.2.yaml
stack-9.2.8.yaml		stack-9.2.8.yaml
stack-9.4.2.yaml		stack-9.4.2.yaml
stack-9.4.8.yaml		stack-9.4.8.yaml
stack-9.6.7.yaml		stack-9.6.7.yaml
stack-9.8.4.yaml		stack-9.8.4.yaml
touchup.sh		touchup.sh

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

User manual (per-commit pdf can be downloaded from the github actions page)
CHANGELOG

Getting Started

Contributing to Agda

Contribution how-to: HACKING
Haskell style-guide

About

[For generating patches for {Agda,ALS} WASM up to v2.8.0.] Agda is a dependently typed programming language / interactive theorem prover.

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

Custom properties

4 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages

0