A proof-assistant for Possibility Storm-style problems for Magic: The Gathering
BSD-3-CLAUSE License
🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
Solver for Shenzen Solitaire
How to model of Deck of Cards in Haskell