Pola revision 5 has been committed
This has fixed a couple stability issues (in type inference) but is largely a feature release.
Pattern matching has been implemented and the bunched context type inference is more or less stable. There are still a few bugs to track down on both issues.
Comments