Zulip Chat Archive
Stream: Lean Together 2019
Topic: Metaprogramming Tutorial
Simon Hudon (Jan 10 2019 at 16:58):
Here is the source file I built up during the tutorial yesterday:
metaprogramming.lean
Last updated: May 02 2025 at 03:31 UTC
Here is the source file I built up during the tutorial yesterday:
metaprogramming.lean
Last updated: May 02 2025 at 03:31 UTC