justosophy·2 tahun yang lalu·discussSee the Coq proofs in https://github.com/barry-jay-personal/tree-calculus/ for the pre-typed tree content as well.
justosophy·2 tahun yang lalu·discussTree 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 https://github.com/barry-jay-personal/tree-calculus/blob/mas...
justosophy·5 tahun yang lalu·discussGood to see more attention to this. AWS did a presentation on it last year.
justosophy·6 tahun yang lalu·discussSome simplified exercises of isomorphic equivalence in data structures.Haskell experts may now commence their superior mocking ;)