just a place to learn idris...