diff options
author | Thomas Letan <lthms@soap.coffee> | 2021-03-28 00:03:41 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2021-03-28 14:19:29 +0200 |
commit | 495f9db0606b0ed09e6fac59dc32de4cdc8c0087 (patch) | |
tree | 82ea5c5e247c664de247a0f3818f393ffdb00067 /site/haskell.org | |
parent | Release of coqffi 1.0.0~beta4 (diff) |
2021 Spring redesign
Diffstat (limited to 'site/haskell.org')
-rw-r--r-- | site/haskell.org | 13 |
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. |