The top documents tagged [inferredctrlc ctrl]
Agda 入門＠ProofSummit 2011
3.613 views