w0rp 217284360d Simplify the code for most linters and tests with closures		2018-08-02 23:44:12 +01:00
..
idris.vim	Simplify the code for most linters and tests with closures	2018-08-02 23:44:12 +01:00