summaryrefslogtreecommitdiffstats
path: root/site/haskell.org
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2021-03-28 00:03:41 +0100
committerThomas Letan <lthms@soap.coffee>2021-03-28 14:19:29 +0200
commit495f9db0606b0ed09e6fac59dc32de4cdc8c0087 (patch)
tree82ea5c5e247c664de247a0f3818f393ffdb00067 /site/haskell.org
parentRelease of coqffi 1.0.0~beta4 (diff)
2021 Spring redesign
Diffstat (limited to 'site/haskell.org')
-rw-r--r--site/haskell.org13
1 files changed, 13 insertions, 0 deletions
diff --git a/site/haskell.org b/site/haskell.org
new file mode 100644
index 0000000..c18fbb7
--- /dev/null
+++ b/site/haskell.org
@@ -0,0 +1,13 @@
+#+SERIES: index.html
+#+SERIES_PREV: coq.html
+#+SERIES_NEXT: miscellaneous.html
+
+#+TITLE: About Haskell
+
+Haskell is a pure, lazy, functional programming language with a very
+expressive type system.
+
+- [[./posts/ExtensibleTypeSafeErrorHandling.html][Extensible, Type-Safe Error Handling In Haskell]] ::
+ Ever heard of “extensible effects?” By applying the same principle, but for
+ error handling, the result is nice, type-safe API for Haskell, with a lot of
+ GHC magic under the hood.