Lambda MicroEgg

Lobsters·28 points·philzook·10 days ago·philipzucker.com

It’s an egraph that supports well-scoped alpha aware binders.

Read the full article at philipzucker.com →

#microegg #lambda #lambda microegg #plt #formalmethods #egraph #scoped #alpha

Related stories

Lambda MicroEggphilipzucker.com
Hacker News · 52 points · 10 days ago
Show HN: Laya decision engine on AWS Lambda, backed by Lambda SnapStartgithub.com
Hacker News · 1 points · 9 days ago
How to prove a compiler correctdbp.io
Lobsters · 15 points · over 8 years ago
Extracting a Verified Interpreter from Isabelle/HOLconcerningquality.com
Lobsters · 19 points · about 4 years ago
Cohere and Aleph Alpha sign business combination agreementcohere.com
Hacker News · 2 points · 9 days ago
Jev in practice: typed decisions, scoped authoritytenuo.ai
Hacker News · 22 points · 8 days ago

Related topics

scoped3 alpha11 lambda11 aware12 plt45 formalmethods18