Pola is a functional programming language whereby every well-typed program halts in polynomial time. Automated bounds inference is still being implemented.
More
Give back to creators
Give microdonations when you Like, Favorite & Star.
