@@ -78,9 +78,21 @@ function IdrisAddClause()
7878 endif
7979endfunction
8080
81+function IdrisEval()
82+ let tc = IdrisReload()
83+ if (tc is "")
84+ let expr = input ("Expression: ")
85+ let fn = "idris --client '" . expr . "'"
86+ let result = system(fn)
87+ echo result
88+ endif
89+ echo ""
90+endfunction
91+
8192map ct :call IdrisShowType()<ENTER>
8293map cr :call IdrisReload()<ENTER>
8394map ci :call IdrisCaseSplit()<ENTER>
8495map cd ?:<ENTER>b:call IdrisAddClause()<ENTER>w
8596map cm 0:call IdrisMakeWith()<ENTER>
97+map ce :call IdrisEval()<ENTER>
8698