P: writing code Polymorphically
Yields reusable functions and theorems for free!

powered by hakyll