Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Proversdigitalcommons.chapman.edu 5 pointsdolia2 months agodiscussSaveHideCopy link On HNComments No comments yet.
Comments
No comments yet.