diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..34e921e --- /dev/null +++ b/.gitignore @@ -0,0 +1,3 @@ +ssg/dist-newstyle +src/_cache +src/_site diff --git a/src/index.md b/src/index.md new file mode 100644 index 0000000..f8e67c6 --- /dev/null +++ b/src/index.md @@ -0,0 +1,18 @@ +--- +title: recursor.wf +--- + +# recursor.wf + +I like computers but they're just a bit complicated + + - Julien Marquet-Wagner + - [github](https://github.com/thejohncrafter) + +Computer Science & Math Student at ENS Ulm + +Current topics of interest: + + - formal verification with [lean](leanprover.github.io) + - [Geometry of Interaction](https://ncatlab.org/nlab/show/Geometry+of+Interaction) + diff --git a/src/index.html b/src/templates/default.html similarity index 51% rename from src/index.html rename to src/templates/default.html index 13e04db..6559947 100644 --- a/src/index.html +++ b/src/templates/default.html @@ -1,9 +1,10 @@
- + +