My dev branches of agda (i.e. mostly a mirror)

caryoscelus 9c190b6ebc AMD 2 years ago
.github ba24aa5d51 Re #5773: workflows/deploy/windows: install ICU via pacman 2 years ago
.travis 9f97aa5d30 [ #4955 ] Used GHC 9.0.1 on Travis. 3 years ago
.vscode dfca348740 dev/vscode: Add official Haskell extension to recommended extensions 3 years ago
benchmark 982e18cdcb [ fix #5600 ] alwaysUnblock when comparing MissingClauses neutrals (#5672) 2 years ago
cubical @ d29db7f5e6 84d1f047d2 [ workflow ] Update the cubical library for testing 2 years ago
doc 7028350ce1 Fix #5773: doc: link to ICU installation instructions 2 years ago
examples 3e609b7bb8 [ fix #418 ] no longer see through abstract in private+abstract type signatures 3 years ago
macros 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 years ago
mk 3376fcd27e [ re #5500 ] `make install-bin` and similar targets add a version suffix (#5503) 2 years ago
notes 1dd6cd7c86 [ fix #5473 ] give `agda.sty` a version and a date 2 years ago
src 9c190b6ebc AMD 2 years ago
std-lib @ 43135bc9de 25724853ec tmp 2 years ago
test a480a5bb0e [ fix #5787 ] Leave checking of modality of instance candidates to later phase 2 years ago
.authorspellings c6423f0872 correct my name 5 years ago
.ghci a309a8ac28 [ closed #4955 ] Tested with GHC 9.0.1. 3 years ago
.ghci-8.0 7716754f2a [ #4521 ] Added the flag optimise-heavily to Agda.cabal. 3 years ago
.ghci-8.10 47aa688349 Made "cabal repl" work. 2 years ago
.ghci-8.2 49c53ecc0b [ #4242 ] Added .ghci-8.10 file. 3 years ago
.ghci-8.6 59878ab981 [ closed #5298 ] Added GHC warnings to Agda.cabal. 2 years ago
.ghci-8.8 59878ab981 [ closed #5298 ] Added GHC warnings to Agda.cabal. 2 years ago
.ghci-9.0 3543ef3df1 [ ghc-9.0 ] enable warning compat-unqualified-imports 2 years ago
.gitignore 9331dbd61c replaced biginteger.js with native BigInt 2 years ago
.gitmodules 35d7405120 [ re #5337 ] Use agda/text-icu instead of an additional patch (#5380) 2 years ago
.hlint.yaml 88d5489918 [ ci ] tighten triggers; PR #5253 (src/hTags) ran unnecessary actions 3 years ago
.mailmap e81e99146a Update contributors for 2.6.2.1 (#5513) 2 years ago
.travis.yml 753377b146 [ closed #5436 ] Supported GHC 8.10.5. 2 years ago
Agda.cabal edfa0ab24e [ #5731 ] Added the field metaModule to MetaId. 2 years ago
CHANGELOG.md b52a21df38 [ #5731 ] Added --save-metas and --no-save-metas. 2 years ago
HACKING.md dc56491ca9 Made it possible to override optimise-heavily in mk/config.mk. 2 years ago
Issue5789.agda cf7ea79a8e [ fix #5789 ] Run macro for tactic argument with the proper modality 2 years ago
LICENSE 2976b594a3 Update contributors for 2.6.2.1 (#5513) 2 years ago
Makefile 456a0daa04 Makefile: a dedicated ghc-compiler-test goal for MALonzo/Lazy 2 years ago
README.md 046f0d367a [ README ] remove travis badge 2 years ago
Setup.hs 7f62bcb450 Force interface regeneration using --ignore-all-interfaces. 3 years ago
cabal.project.tc 0b71569945 Re #4216 #4883: New goal `make v2-type-check` using `cabal v2-build` 2 years ago
fix-whitespace.yaml 8d75579c41 [ #5740, #4506 ] Optimised (?) readTextFile. 2 years ago
flake.lock 4dee747be7 Add Nix flake to allow Nix users to install from git. 2 years ago
flake.nix 4dee747be7 Add Nix flake to allow Nix users to install from git. 2 years ago
hie.yaml 544178be57 dev: Add hie.yaml for Haskell IDE Engine discovery 3 years ago
release.sh 94df120028 Release script. 9 years ago
stack-8.0.2.yaml 738221698a [ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`. 2 years ago
stack-8.10.7.yaml f204975956 [ stackage ] Bump stackage LTS versions 2 years ago
stack-8.2.2.yaml 738221698a [ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`. 2 years ago
stack-8.4.4.yaml 738221698a [ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`. 2 years ago
stack-8.6.5.yaml 738221698a [ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`. 2 years ago
stack-8.8.4.yaml 738221698a [ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`. 2 years ago
stack-9.0.1.yaml 4c6d582c9a Fix #5768: CI/Windows: use text-icu-0.8.0 with latest ICU 2 years ago
stack-9.0.2.yaml f204975956 [ stackage ] Bump stackage LTS versions 2 years ago
stack-9.2.1.yaml 1d92bc04bf [ #5442 ] Agda.cabal: tested with 9.2.1 2 years ago
touchup.sh 32664c045f Refactoring guided by hlint (#4479) 4 years ago

README.md

Agda 2

Hackage version Stackage version Test Stack Build Status via GH Actions Documentation Status Agda Zulip

The official Agda logo

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

Documentation

Getting Started

Contributing to Agda