Pola is a functional programming language whereby every well-typed program halts in polynomial time. Automated bounds inference is still being implemented.
More
Support this project and others with 1-click micro-donations
Big change through small donations
Support people and projects you love, one click at a time
Love the free and open Internet?
Thankful for Wikipedia, that free software or the tune you downloaded yesterday?
With Flattr, you donate small amounts to people and projects that you care about. As more people join in, those small donations add up to big change.
-
1-click transactions
Donate as you browse the web. Think of it as a "Like" button with real meaning.
-
True micro-donations
5, 10, 20 cents or more - we can handle it.
-
Fixed budget
Never worry about giving more than you can afford.
