Remove trailing whitespace.
commitdd6b95a255a3639868fd7b5727755b9fe2dd30f6
authorMatus Tejiscak <ziman@functor.sk>
dateThu 24 Apr 2014, 18:30 (13 years ago)
parent3aa1833
libs/base/Data/Erased.idr+1−1
@@ -22,7 +22,7 @@ instance Monad Erased where
2222 (>>=) (Erase x) f = f x
2323
2424||| Project the erased value out of the monad.
25−|||
25+|||
2626||| This is usable only in types and other erased contexts,
2727||| where it won't cause erasure violations.
2828unerase : Erased a -> a