Pola is a functional programming language whereby every well-typed program halts in polynomial time. Automated bounds inference is still being implemented. More

5 Flattr microdonations

  1. nponeccop nponeccop