Nadia Polikarpova committed 3a18890 Draft

Edited online

Comments (0)

Files changed (1)

+//December 12, 2012//: Try Boogaloo [[|online]]! Christian Estler (@haches) created a simple web interface for Boogaloo, so now you can play around with the interpreter without downloading the executable. Thank you Christian!
 //October 30, 2012//: The [[|language-boogie]] package is now on Hackage
 //October 25, 2012//: Boogaloo 0.1 released