X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/1663324cfcc445f69fce3defa9b58bfc1b16160d..cb742bb69034bdc97f1b762fc4bf7fde4f027fea:/content/_index.md?ds=inline

diff --git a/content/_index.md b/content/_index.md
deleted file mode 100644
index 399e97a..0000000
--- a/content/_index.md
+++ /dev/null
@@ -1,13 +0,0 @@
-+++
-title = "Home"
-draft = false
-+++
-
-I'm Amin Bandali (often `bandali` or `aminb` on [the interwebs](/contact)).  I’m
-currently a [graduate student](/uw) in the [WatForm](https://watform.uwaterloo.ca) group at University of
-Waterloo, supervised by [Nancy Day](https://cs.uwaterloo.ca/~nday/).  My current research focuses on
-formal logic, model checking, and verification.  On the side, I also
-dabble in [Lean](https://leanprover.github.io) and [Rust](https://www.rust-lang.org), and I enjoy [hacking](https://stallman.org/articles/on-hacking.html) on [Elisp](https://www.gnu.org/software/emacs/manual/elisp.html).
-
-[//]: # "Exported with love from a post written in Org mode"
-[//]: # "- https://ox-hugo.scripter.co"