Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Open-Source Knob Packed with Precision
hackaday.com·1d
Has an AI Backlash Begun?
it.slashdot.org·11h
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·6d
Cactus Language • Syntax 11
inquiryintoinquiry.com·6d
Loading...Loading more...