Pola revision 7 has been committed
Little fixes.
The most visible change will be the syntactic changes. The type Foo a b is now Foo(a, b). Safe and dangerous types are now in the typing system, too.
Little fixes.
Added by Mike Burrell about 2 years ago
The most visible change will be the syntactic changes. The type Foo a b is now Foo(a, b). Safe and dangerous types are now in the typing system, too.
Comments