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