Latest news

  • Now with a seamless interface for DE2 off-chip SRAM. [10 Jan 2013]
  • We have added ground-type call-by-value to the language syntax, so that if you call f(val M)┬áthe argument is evaluated before the function call (like in ML). [14 May 2012]
  • New example added for Verity. [12 March 2012]
  • Version 0.09 of the GOS compiler (technology preview) has been released! See Download pages. [03 March 2012]