ataca/src/Ataca at master · anka-213/ataca · GitHub

8000 ataca/src/Ataca at master · anka-213/ataca · GitHub

More Web Proxy on the site http://driver.im/

Name		Name	Last commit message	Last commit date
parent directory ..
Tactics		Tactics
Core.agda		Core.agda
Demo.agda		Demo.agda
Tactics.agda		Tactics.agda
Tests.agda		Tests.agda
Utils.agda		Utils.agda

0