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: Dec 20 2023 at 11:08 UTC
Here is the source file I built up during the tutorial yesterday:
metaprogramming.lean
Last updated: Dec 20 2023 at 11:08 UTC