Ignore this box please.
More
Settings
Goodies
About
Help
Feedback
PRIVACY
DontTrack
DontBubble
Policy
COMMUNITY
Platform
Forum
Chat
Spread
Keyboard shortcuts
h, / search box
j, ↓ next result
k, ↑ prev result
l, o, Enter go
More...
Ctrl+Enter bg
', v new tab
d domain search
t Top
!, 1 !bang dropdown
esc out of bangs
s Did you mean
r related topics
m main results
More explanation...
Agda (programming language)
Agda is a proof assistant, i.e. a computer program that can check mathematical proofs.
More at Wikipedia
| Official site:
wiki.portal.chalmers.se
Free software programmed in Haskell
Functional languages
Free compilers and interpreters
This page requires Javascript.Get the non-JS version
here
.
Agda
wiki.portal.chalmers.se/agda/
More results