One of my current goals is to learn Idris by working through the Idris MEAP book[0]. I have set up a cheap ultrabook running Linux for this purpose, and intend to disappear to a library or cafe semi-regularly for Idris time. If I make it far enough, I intend to implement some P2P network protocols (e.g. STUN, Zeroconf, BitTorrent Kademlia overlay).

[0] https://www.manning.com/books/type-driven-development-with-i...