Choice calculus library for the 2011 GTTSE Summer School.
Primary LanguageHaskell
This repository is not active