Maddy 0.3.0, a functional object operations librarykitcambridge.github.com12 pointskitcambridge15 years ago