Lazy K interpreter for use on the web