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 6 months 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