diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-08-30 21:34:09 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-08-30 21:35:13 +0200 |
| commit | 4393865bb75e4b89b1ea9b07c515c7d55505ad1a (patch) | |
| tree | e01b3c7d9ea745858f3a09226ddf50409b528ee9 | |
| parent | Start the documentation of the theme build process (diff) | |
Introducing the Opinions page
| -rw-r--r-- | .gitignore | 3 | ||||
| -rw-r--r-- | site/cleopatra/theme.org | 3 | ||||
| -rw-r--r-- | site/index.org | 4 | ||||
| -rw-r--r-- | site/opinions/MonadTransformers.org (renamed from site/posts/MonadTransformers.org) | 2 | ||||
| -rw-r--r-- | site/opinions/index.org | 18 |
5 files changed, 23 insertions, 7 deletions
@@ -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. |