{"ref":"prototype","ref_type":"branch","master_branch":"master","description":"Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list","pusher_type":"user"}