As you might have noticed, I’ve been updating the web site. I have to post something here so that the news feed does something… I will post something more interesting as soon as something more interesting happens.
Idris
A language with dependent types
Comments are closed.