Dmitry Malikov

Before case splitting: ``` No contra => case isElem value xs of case_val => ?isElem_rhs_3 ``` After it: ``` No contra => case isElem value xs of (Yes prf) =>...

Since `procAdder` described in section 15.2.1 is not total, there is no need to have `Loop` constructor in `Process`. `Loop` is introduced in section 15.2.2 to make `procAdder` total, which...

Invalid reference to rvm_install_some_rubies from rvm installation script

1

``` $ ./osx_or_cygwin_kick_off RVM reloaded! /home/m/.rvm/src/system has already been removed. /home/m/.rvm/rubies/system has already been removed. ./automation/rvm/rvm_install: line 16: ./rvm_install_some_rubies: No such file or directory Searching for binary rubies, this might...

hlibgit2 Haddock build on hackage is broken

4

``` $> cabal-dev install Resolving dependencies... Downloading bindings-DSL-1.0.16... Configuring bindings-DSL-1.0.16... Building bindings-DSL-1.0.16... Preprocessing library bindings-DSL-1.0.16... [1 of 1] Compiling Bindings ( Bindings.hs, dist/build/Bindings.o ) In-place registering bindings-DSL-1.0.16... Running Haddock for...

Implement bindings for import.c methods

1

As a `imagemagick` bindings user I wanna be able to use methods from [`import`](http://imagemagick.sourceforge.net/http/www/import.htm) module.