strokyl/mystery_word_idris

Playing with idris effect

This repository is not active