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

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

Comments

Catalonia: State of emergency declared as region faces worst ever drought

Residents face a raft of restrictions on water use as the Spanish region faces its worst drought on record. from BBC News - Home https://ift.tt/KY0E2Sn

Does China 'operate' Panama Canal, as Trump says?

The US president says the US should "take back" the famous waterway because China runs it now. from BBC News https://ift.tt/d3WvOJR

kyakaise99

Search This Blog

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

Labels

Comments

Post a Comment

Popular posts from this blog

Catalonia: State of emergency declared as region faces worst ever drought

Does China 'operate' Panama Canal, as Trump says?

Smartphone 'addiction': Young people 'panicky' when denied mobiles #wanitaxigo