Cat: A statically-typed stack-based functional languagegithub.com/cdiggins3 pointstodsacerdoti5 years ago