diff --git a/_drafts/haskell-in-a-category.md b/_drafts/haskell-in-a-category.md
new file mode 100644
index 0000000..3d66a67
--- /dev/null
+++ b/_drafts/haskell-in-a-category.md
@@ -0,0 +1,10 @@
+---
+layout: post
+title: "Haskell, Categories and Algebra"
+---
+
+some general stuff about haskell and categories as well as algebraic datatypes, F-algebras and some concrete examples of fixpoint constructions and catamorphisms
+
+<!--more-->
+
+
diff --git a/_drafts/lccc.md b/_drafts/lccc.md
new file mode 100644
index 0000000..1e306e2
--- /dev/null
+++ b/_drafts/lccc.md
@@ -0,0 +1,10 @@
+---
+layout: post
+title: "Martin-Löf type theory as an internal language for categories"
+---
+
+why care about undecidable extensional mltt? internal langauge of LCCCs, describe the theory and the construction in a palettable way. Does katex support tikz-cd?
+
+<!--more-->
+
+
diff --git a/readme.md b/readme.md
index e058274..2fdff5e 100644
--- a/readme.md
+++ b/readme.md
@@ -13,9 +13,3 @@ sources for rachel.cafe. built using jekyll (without a theme).
 ## Aknowlegdements
 
 This repository contains katex code for self hosting katex. This code is used under the MIT LICENSE (for details, read the `LICENSE` file).
-
-## TODOs
-
- * use builtin katex support instead
- * switch to org mode?
- * write about F-algebras and algebraic datatypes