diff --git a/examples/computability/lambda/.gitignore b/examples/computability/lambda/.gitignore new file mode 100644 index 0000000000..2d19fc766d --- /dev/null +++ b/examples/computability/lambda/.gitignore @@ -0,0 +1 @@ +*.html