Have a look at Arthur's text editor in k5: http://kparc.com/edit.k http://kparc.com/edit.k And of course the impending kOS operating system: http://kparc.com/

Have a look at Arthur's text editor in k5: http://kparc.com/edit.k http://kparc.com/edit.k And of course the impending kOS operating system: http://kparc.com/ http://kparc.com/ with HN discussion: https://news.ycombinator.com/item?id=8475809 https://news.ycombinator.com/item?id=8475809 There are also some good links here, though you may have to dig: http://www.reddit.com/r/apljk/ http://www.reddit.com/r/apljk/