Navigation
Projects
Signed in as: AnonymousUser
Settings
Log out
Help
Support
Docs
Getting started
Status
Sign up
Log in
You are using our new beta dashboard.
We would love to have your feedback
. If you encounter problems,
return to our normal dashboard
.
agda
EN
Agda is a dependently typed functional programming language.
agda
dependent-types
programming-language
proof-assistant
type-theory
Maintainers
Repository
https://github.com/agda/agda.git
Versions
21
Builds
9124
Pull request 7166
/
Builds
/
#23654043
Pull request
#7166
Output
Raw log
Debug
View docs
There was an error with this build
Loading