2 ms·
AG maybe isn't so connected to software, but HoTT connects to the "functional programming" crowd. https://youtu.be/MVtlD22Y8SQ https://youtu.be/MVtlD22Y8SQ is m
by kisonecat 2y ago
AG maybe isn't so connected to software, but HoTT connects to the "functional programming" crowd. https://youtu.be/MVtlD22Y8SQ https://youtu.be/MVtlD22Y8SQ is me doing some examples.