Delete demo of nf and whnf

objectionary · Feb 8, 2024 · cdc833b · cdc833b
1 parent 99272db
commit cdc833b
Showing 1 changed file with 0 additions and 37 deletions.
diff --git a/Minimal/Test.lean b/Minimal/Test.lean