As the short note from last week indicates, the project has now moved to Github. The fregIDE has been separated and is now a project on its own. There is ongoing work on a continuous integration facility. The result will be that there will be no "offiicial" releases any more. Rather, certain versions will be merely marked as stable, while all friends of frege will be able to download the more recent builds also.
Even if it may have seemed so, we were not completely idle since the Easter Release. Besides numerous bug fixes, the following new features are now available:
- Record fields can now be polymorphic
- The restrictions regarding instances of function types have been dropped.
- As a further step to more Haskell compatibility, a single dot can now be used as function composition operator.