/strangegroup-idris-June2014

Code I presented in a demo at Strange Group

Primary LanguageIdris

This repository is not active