LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Haskell

agda

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

HaskellEmerging

Stars

—

Forks

—

Contributors

8

Last push

1mo ago

Recent commits

Latest commits.

added table
6843a13Kiran Gopinathan1mo ago
implemented fork of agda to collect decls
1b21b6aKiran Gopinathan1mo ago
CI deploy.yml: use `cabal list-bin` to locate the agda executable (#8563)
3b57742Andreas Abel1mo ago
Fix #3054 by introducing MatchPrio for constructor patterns
df80856Andreas Abel1mo ago
Re PR #8541: add comment on generalizeTelescope concerning created section
8f5f527Andreas Abel1mo ago

Testcase for #8561 already fixed in 2.8.0

54db90cAndreas Abel1mo ago

Testcase for #5305 (fixed on master for 2.9.0)

a3fb3b0Andreas Abel1mo ago

gitignore .mjs (test artifact) files

faa9327Nate1mo ago

Top contributors

Builders behind this project.