agda/agda

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

拖动卡牌调整角度，点击翻面查看卡背。