justosophy

13 ms·

1. 1.▲
   by justosophy 2y ago

   See the Coq proofs in https://github.com/barry-jay-personal/tree-calculus/ for the pre-typed tree content as well.
2. 2.▲
   by justosophy 2y ago

   Tree Calculus is awesome with implications beyond this website. Shame the website doesn't attribute the creator and author Prof. Barry Jay. (Seems to be a pattern for them sadly, not sure why) See Jay's book on GitHub for more ht
3. 3.▲
   by justosophy 5y ago

   Good to see more attention to this. AWS did a presentation on it last year.
4. 4.▲
   Haskell Curses and Conundrums(github.com)

   6 points by justosophy 6y ago|1 comments
5. 5.▲
   by justosophy 6y ago

   Some simplified exercises of isomorphic equivalence in data structures. Haskell experts may now commence their superior mocking ;)
6. 6.▲
   by justosophy 10y ago

   Tipping isn't a thing in Australia. I'm not sure I'd know the first thing for the right way to tip if I visited the US. And yet we seem to enjoy high quality food, and I believe our hospitality wages are higher in general. (
7. 7.▲
   Show HN: A light-touch educational game engine in ES6(github.com)

   3 points by justosophy 11y ago|2 comments