agda
Agda is a dependently typed programming language / interactive theorem prover.
- ATK
- 2328
- DEF
- 4527
Common
agda/agda
Common · Base · GenesisAgda is a dependently typed programming language / interactive theorem prover.
Attack2,328
Defense4,527
Drag the card to turn it. Use the flip button to see the back.
Open card page