Saturday, August 27, 2022

Show HN: E-graphs and equality saturation in Haskell https://ift.tt/JwgeWuI

Show HN: E-graphs and equality saturation in Haskell https://ift.tt/FS1wiQ8 August 28, 2022 at 12:18AM
-
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Show HN: LookAway, a Mac break reminder that knows when not to interrupt https://ift.tt/swgeKXU

Show HN: LookAway, a Mac break reminder that knows when not to interrupt Hello, I'm Kushagra and I am the indie developer behind LookAwa...