Rare card
Idris (programming language)
- Value
- 50 W
- Attack
- 734
- Defence
- 587
- Players
- 0
Idris is a purely-functional programming language with dependent types, quantity annotations, optional lazy evaluation, and features such as a totality checker. Idris is designed to be a general-purpose programming language similar to Haskell, but may also be used as a proof assistant.
Get Idris (programming language) in your collection
Every Wikilord card is a Wikipedia article. Open packs for free, trade, battle and climb the leaderboard.
Open a free pack