projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 75a9d71) | patch
Fix build for GHC 7.8
authorGuillaume Combette <guillaume.combette@ens-lyon.fr>
Tue, 12 Jul 2016 14:42:19 +0000 (16:42 +0200)
committerGuillaume Combette <guillaume.combette@ens-lyon.fr>
Tue, 12 Jul 2016 14:42:19 +0000 (16:42 +0200)
commita56c25011ff895c7438371858b3536d8659b7881
tree4dadba5697ea60810b5831a77b4b377978181edatree | snapshot
parent75a9d719b1a5774ed64f18dfb98ba07130f59cb5commit | diff
Fix build for GHC 7.8

This version does not implement the Foldable/Traversable in Prelude
proposal thus `elem` does not work on Sets.
Eval.hs diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.