Hacker News new | ask | show | jobs
by kisonecat 478 days ago
AG maybe isn't so connected to software, but HoTT connects to the "functional programming" crowd. https://youtu.be/MVtlD22Y8SQ is me doing some examples.