From 168a6967aebbb963ff387e7ab6a11fbc974a4512 Mon Sep 17 00:00:00 2001
From: Jasper Van der Jeugt <m@jaspervdj.be>
Date: Tue, 18 Nov 2014 10:40:00 +0100
Subject: Add axiomatic.neophilus.net to examples

---
 web/examples.markdown | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'web')

diff --git a/web/examples.markdown b/web/examples.markdown
index 5f9dfce..1dd4bf5 100644
--- a/web/examples.markdown
+++ b/web/examples.markdown
@@ -105,6 +105,8 @@ this list. This list has no particular ordering.
   [source](https://github.com/ruud-v-a/ruudvanasseldonk.com)
 - <http://www.haskell.mn>,
   [source](https://github.com/HaskellMN/www.haskell.mn)
+- <https://axiomatic.neophilus.net/>,
+  [source](https://github.com/Libbum/AxiomaticSemantics)
 
 ## Hakyll 3.X
 
-- 
cgit v1.2.3