../ base/Add [static] + fix erasure warnings in Data.Bits.11 years ago contrib/Some trivial renamings11 years ago effects/Merge pull request #2886 from jfdm/fix-effect-default11 years ago oldeffects/Change library and expected test results for Float -> Double change11 years ago prelude/Remove partial functions from Stream11 years ago pruviloj/Change "class/instance" keywords11 years ago MakefileLibrary of tactics for proof automation with Elab11 years ago