Bio: Retired math prof, now having fun programming. Lot's of stuff to love, but I especially love typed functional programming. In spare time, trying to learn the double bass -- the one you have to stand up to play.

Nothing to show