Forgot your password?
Boro Sitnikovski: Introduction to Dependent Types with Idris (2023, Apress L. P.)
Timothy Donaldson: Shapes for Sounds (Hardcover, 2008, Mark Batty Publisher)
Tamara Shopsin: LaserWriter II (2021, Farrar, Straus & Giroux)
Successfully posted status
Error posting status