git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofsrc/Idris/Core/DeepSeq.hs
all commits
7e7368dStore kind in Pi bindersEdwin Brady a1fb7a3Inline with blocksEdwin Brady 218c735Mark 'case' on unique types as updatableEdwin Brady 9abbc3fCache uniqueness information in NameTypeEdwin Brady 9ceece1EXPERIMENTAL uniqueness typesEdwin Brady 1a79f2bAdd a special name for instance constructors.Matus Tejiscak 66ec833Minor memory usage improvementsEdwin Brady 4e6adebSeparate Core NFData instancesEdwin Brady