Koka: a function-oriented language with effect inferencegithub.com/koka-lang1 pointwuschel7 years ago