profile
viewpoint

Lapin0t/agda

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

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

Lapin0t

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

andreasabel
UlfNorell
asr
nad
phile314
Saizan
gallais
bitonic
fredrikNordvallForsberg
dominiquedevriese
vlopezj
divipp
Blaisorblade
np
stevana
Danten
jmchapman
guillaumebrunerie
jyp
WolframKahl
patrikja
sattlerc
monnier
favonia
mbenke
ollef
MatthewDaggitt
adamse
pavenvivek
nick8325
nkaretnikov
wenkokke
wouter-swierstra
trofi
halfaya
txa
wjzz
pthariensflame
carlostome
coruus
yanok
JacquesCarette
dagit
masondesu
miikka
mietek
SamB
scott-fleischman
skeuchel
adamgundry
Chobbes
apotheon
copumpkin
dcoutts
edgmnt
ak3n
bafain
fredefox
jimburton
Janno
bixuanzju
augustss
liamoc
iitalics
Potpourri
noamz
RyanGlScott
gelisam
spwhitton
sergv
scmu
zlizta
umazalakain
fjouault
identicalsnowflake
xplat
fmap
zjhmale