idris-lang/Idris2

A purely functional programming language with first class types

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