summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-08-30 21:34:09 +0200
committerThomas Letan <lthms@soap.coffee>2020-08-30 21:35:13 +0200
commit4393865bb75e4b89b1ea9b07c515c7d55505ad1a (patch)
treee01b3c7d9ea745858f3a09226ddf50409b528ee9
parent23e5c85eea4d7c7086392ca4b14e097682cb3829 (diff)
Introducing the Opinions page
-rw-r--r--.gitignore3
-rw-r--r--site/cleopatra/theme.org3
-rw-r--r--site/index.org4
-rw-r--r--site/opinions/MonadTransformers.org (renamed from site/posts/MonadTransformers.org)2
-rw-r--r--site/opinions/index.org18
5 files changed, 23 insertions, 7 deletions
diff --git a/.gitignore b/.gitignore
index 1907ea8..678fb8b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,6 +39,8 @@ site/posts/StronglySpecifiedFunctions.html
site/posts/RewritingInCoq.html
site/posts/LtacMetaprogramming.html
site/posts/MixingLtacAndGallina.html
+site/opinions/index.html
+site/opinions/MonadTransformers.html
site/index.html
site/news/ColorlessThemes-0.2.html
site/cleopatra/soupault.html
@@ -50,7 +52,6 @@ site/projects/index.html
site/posts/Thanks.html
site/posts/DiscoveringCommonLisp.html
site/posts/ExtensibleTypeSafeErrorHandling.html
-site/posts/MonadTransformers.html
site/posts/CleopatraV1.html
site/posts/Ltac.html
build/
diff --git a/site/cleopatra/theme.org b/site/cleopatra/theme.org
index fe68690..296e167 100644
--- a/site/cleopatra/theme.org
+++ b/site/cleopatra/theme.org
@@ -74,8 +74,9 @@ noscript.parentNode.removeChild(noscript);
<body>
<header>
<ul>
- <li> <a href="/news">News</a></li>
<li> <a href="/">Technical Articles</a></li>
+ <li> <a href="/opinions">Opinions</a></li>
+ <li> <a href="/news">News</a></li>
<li> <a href="/projects">Projects</a></li>
</ul>
</header>
diff --git a/site/index.org b/site/index.org
index f530c43..44af7c1 100644
--- a/site/index.org
+++ b/site/index.org
@@ -63,10 +63,6 @@ type system.
error handling, the result is nice, type-safe API for Haskell, with a lot of
GHC magic under the hood.
-- [[./posts/MonadTransformers.org][Monad Transformers are a Great Abstraction]] ::
- Monads are hard to get right, monad transformers are harder. Yet, they remain
- a very powerful abstraction.
-
* Miscellaneous
- [[./posts/DiscoveringCommonLisp.html][Discovering Common Lisp with ~trivial-gamekit~]] ::
diff --git a/site/posts/MonadTransformers.org b/site/opinions/MonadTransformers.org
index b2bd2ca..7296f08 100644
--- a/site/posts/MonadTransformers.org
+++ b/site/opinions/MonadTransformers.org
@@ -8,7 +8,7 @@ id="original-created-at">July 15, 2017</span>.</p>
#+OPTIONS: toc:nil
#+BEGIN_EXPORT html
-<div id="history">site/posts/MonadTransformers.org</div>
+<div id="history">site/opinions/MonadTransformers.org</div>
#+END_EXPORT
Monads are hard to get right. I think it took me around a year of Haskelling to
diff --git a/site/opinions/index.org b/site/opinions/index.org
new file mode 100644
index 0000000..0be267e
--- /dev/null
+++ b/site/opinions/index.org
@@ -0,0 +1,18 @@
+#+options: num:nil
+
+#+BEGIN_EXPORT html
+<h1>Opinions</h1>
+#+END_EXPORT
+
+I may have some opinions on some topics, and sometimes I may want to share
+them. However, I strongly believe facts and opinions are two differents things,
+and even though I do not intend to write plain wrong facts, I prefer to keep two
+separate indexes.
+
+I would encourage you to use your critical mind while reading these write-ups.
+
+** 2017
+
+- [[./MonadTransformers.org][Monad Transformers are a Great Abstraction]] ::
+ Monads are hard to get right, monad transformers are harder. Yet, they remain
+ a very powerful abstraction.