No description
Find a file
2025-04-17 14:10:57 +02:00
.github/workflows Initial commit 2025-02-26 10:40:42 +01:00
Metaprograms Fix build 2025-04-17 14:10:57 +02:00
.gitignore Initial commit 2025-02-26 10:40:42 +01:00
lake-manifest.json Add content 2025-02-26 10:47:23 +01:00
lakefile.toml Add content 2025-02-26 10:47:23 +01:00
lean-toolchain Add NonLinearNatCastSimpLemmas 2025-04-17 13:33:13 +02:00
LICENSE Add content 2025-02-26 10:47:23 +01:00
Metaprograms.lean Add NonLinearNatCastSimpLemmas 2025-04-17 13:33:13 +02:00
README.md Typo 2025-02-26 10:48:25 +01:00

Sometimes I write small metaprograms to figure something out. Sometimes I just put them in whatever scratch file I happen to have lying around. Sometimes I want to rerun an old metaprogram or see how I did something in an old metaprogram. Sometimes I have lost the metaprogram by then.

Maybe this repository will help.

I am not good or experienced at metaprogramming and these programs are meant to be run only once, so don't expect them to work very well.