../ base/Fix remainder in Data.Primitives.Views10 years ago contrib/Code Tidying of `Network.Socket`10 years ago effects/Updated documentation for new file effect, and added to the CHANGELOG.10 years ago oldeffects/Change library and expected test results for Float -> Double change11 years ago prelude/Add shiftL and shiftR10 years ago pruviloj/Generalize the types of mkApp and unApply11 years ago MakefileLibrary of tactics for proof automation with Elab11 years ago