haskell/haskell-djinn-lib: new spell, a theorem prover for intuitionistic propositional logic

1 files changed, 2 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 1f129fddea..4c7373e7b6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -16,6 +16,8 @@
 	  directories
 	* haskell/haskell-convertible: new spell, a typeclass with a single function
 	  that is designed to help convert between different types
+	* haskell/haskell-djinn-lib: new spell, a theorem prover for intuitionistic
+	  propositional logic
 
 2018-02-02 Vlad Glagolev <stealth@sourcemage.org>
 	* graphics/imgp: new spell, multi-core batch image resizer and rotator