Idris2
A purely functional programming language with first class types
- ATK
- 3078
- DEF
- 3579
Common
idris-lang/Idris2
Common · Base · GenesisA purely functional programming language with first class types
Attack3,078
Defense3,579
Drag the card to turn it. Use the flip button to see the back.
Open card page