vim: added reflect tactic
vim: added tactics block
Merge pull request #219 from raichoo/master

Some vim adjustments
Backend support for Java
Missing case in Idris.Parser

This module:




    module main




    using (A : Type) 
      data W : Type where
        Ok : (r : A -> A -> Type) -> W




gave the error 




    src/Idris/Parser.hs:(215,23)-(223,86): Non-exhaustive patterns in case
    
which seemed to be repaired by this amendment for the [] case.
Merge pull request #221 from JanBessai/master

Backend support for Java
Merge pull request #222 from michaelt/master

Missing case in Idris.Parser