Is there any way to evaluate an expression? - Githubissues

idris-hackers / idris-vim

Idris mode for vim

221 stars 52 forks source link

Is there any way to evaluate an expression? #87

Closed VictorTaelin closed 6 years ago

VictorTaelin commented 6 years ago

Title.

VictorTaelin commented 6 years ago

Oh, woops; I guess I need an ophthalmologist. <leader>e does it.