]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3613478) | patch
1. deriving (Show) no longer used because it fails on empty types
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 4 Sep 2012 07:55:26 +0000 (07:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 4 Sep 2012 07:55:26 +0000 (07:55 +0000)
commita634c95917dee0fca1d1cf77b6fb7491975128cc
treeb41bf8cb8a6fd473c49772f027993378d4228daatree | snapshot
parent36134784eb6c56a49380708ae82ec6c8566a2685commit | diff
1. deriving (Show) no longer used because it fails on empty types
2. pretty-printing of types fixed: application arguments never had
   parentheses
3. Top replaced with GHC.Prim.Any
matita/components/ng_kernel/nCicExtraction.ml diff | blob | history
matita/matita/lib/preamble.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.