Paulo Pinto: > Are you also aware of Habit? > http://www.galois.com/blog/2010/05/12/tech-talk-developing-good-habits-for-bare-metal-programming/
I saw the video about Habit, but I was not so impressed, it's a bit simplified Haskell variant fitter for low-level code. I haven't seen many new ideas inside it (while ATS is a very different thing). Bye, bearophile