diff options
author | Florian Franzmann | 2018-02-04 13:27:28 +0100 |
---|---|---|
committer | Florian Franzmann | 2018-02-05 18:31:48 +0100 |
commit | 529d0a45ccfde6b2e8c4b28dcfe789ba315a8223 (patch) | |
tree | 8e5fa7e8571f93b562dfdb26c88e1e1ec4f744c1 /ChangeLog | |
parent | 3ebd197fe521a9a7a55d8da2cfc38fc3ac2e2b01 (diff) |
haskell/haskell-djinn-ghc: new spell, a bridge between ghc and djinn-lib
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -18,6 +18,7 @@ that is designed to help convert between different types * haskell/haskell-djinn-lib: new spell, a theorem prover for intuitionistic propositional logic + * haskell/haskell-djinn-ghc: new spell, a bridge between ghc and djinn-lib 2018-02-02 Vlad Glagolev <stealth@sourcemage.org> * graphics/imgp: new spell, multi-core batch image resizer and rotator |