Hacker News
- A game in a pure language (part 1): introduction and problems with Idris https://flowing.systems/2020/01/13/a-game-in-a-pure-language-part-1-introduction-and-problems-with-idris.html 58 comments
Lobsters
- A game in a pure language (part 2): state https://flowing.systems/2020/04/13/a-game-in-a-pure-language-part-2-state.html 4 comments programming
- A game in a pure language (part 1): introduction and problems with Idris https://flowing.systems/2020/01/13/a-game-in-a-pure-language-part-1-introduction-and-problems-with-idris.html 7 comments games
- A game in a pure language (part 1): introduction and problems with Idris https://flowing.systems/2020/01/13/a-game-in-a-pure-language-part-1-introduction-and-problems-with-idris.html 3 comments idris
- A game in a pure language (part 1): introduction and problems with Idris https://flowing.systems/2020/01/13/a-game-in-a-pure-language-part-1-introduction-and-problems-with-idris.html 30 comments programming
- Cake: expressive algorithms and data structures in Scala http://flowing.systems/2017/10/09/cake-expressive-data-structures-in-scala/ 7 comments scala