v0.3.2

swr1bm86 released this 16 Mar 13:34

· 208 commits to master since this release

108053b

Support fully featured REPL #3 #17
Support single Idris file #9
Fix shortcuts confliction #15 @be5invis

Assets 2