Mario Lang

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: Use ‘Type’ from ‘Data.Kind’ instead.

As discussed in issue #36, the methods of MonadHaskell are actually useful. A previous commit only exported the class without methods. In particular, getInput{Line,Char} can be useful for small dialogs...

I am looking for a way to execute an rc file during initialisation phase. Right now, all I can do is call "command" manually, but there is no way to...

Update for Purescript 0.12

1

Summary: * Move from purescript-eff to purescript-effect. * Convert the gain example. * Update dependencies.

CSV.idr has a number of bitrot problems I guess. However, Silly.idr works just fine, except for the warning about return.