Zulip Chat Archive
Stream: general
Topic: meson in Lean
Patrick Massot (Sep 11 2023 at 19:19):
Mario Carneiro said:
I'm sure Mario could produce a Lean version in a long weekend ;-)
heh, I've already started
Mario, how is that weekend going?
Mario Carneiro (Sep 11 2023 at 20:42):
unsurprisingly, I was pulled away by 5 other projects in the meanwhile
Last updated: Dec 20 2023 at 11:08 UTC