Short on life lessons, precious moments, and pearls of wisdom, Tony Carrillo's F Minus takes on life's serious issues by pinning them to the ground and stealing

The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.