Web News
UHC
20120402 The UHC repository has been moved to https://github.com/UU-ComputerScience/uhc
20120320 Change of repository. Mar 29 the svn repo will become readonly, Mar 30 we will switch to github. (Postponed from Mar 15/16)
20120223 A JavaScript backend specific page is available here, and local page.
20120131 Version 1.1.3, with preliminary javascript backend, downloads from now on also appear as binary platform specific installations.
20101018 I have started a UHC blog! The first entry explains bits of the Javascript backend under development.
20100922 Version 1.1.0 is released, read more here.
20100904 We have a job opening for a PhD, see here.
20100601 Generics in UHC: deriving can now be done generically.