innovation

BSD-3-CLAUSE License

Stars
1
View Code on GitHub
Ecosystems: Haskell

Statistics for this project are still being loaded, please check back later.

Badges
Extracted from project README
Build Status
Related Projects
uplcg

Untitled PL Card Game

28 Jul 2020 20
shenzhen

Solver for Shenzen Solitaire

27 Jun 2017 15
dovin

A proof-assistant for Possibility Storm-style problems for Magic: The Gathering

02 Dec 2018 5