atsboot: a tiny starter "kernel" in ATS

38 views

Skip to first unread message

Brandon Barker

unread,

Mar 8, 2018, 9:55:04 PM3/8/18

to ats-lang-users

I came across this tiny kernel on the Idris discussion group, written in ATS, by Brian McKenna (who seems to be rather multilingual and I know of him from having done some nice Scala stuff as well). I'm not sure it qualifies as news at this point, since it is 2014, but at least deserves a mention on the list (sorry if I missed a prior mention).