Lambda MicroEgg (by philzook) — discussion

#formalmethods #plt