https://octocurious.com Last 10 notes on Octocurious Quartz -- quartz.jzhao.xyz https://octocurious.com/TYPES-(Conference) https://octocurious.com/TYPES-(Conference) Thu, 12 Mar 2026 13:32:34 GMT https://octocurious.com/Nottingham-Open-Lab-Day-2025 https://octocurious.com/Nottingham-Open-Lab-Day-2025 Thu, 12 Mar 2026 13:32:34 GMT https://octocurious.com/MGS2025---Category-Theory https://octocurious.com/MGS2025---Category-Theory Thu, 12 Mar 2026 13:32:33 GMT https://octocurious.com/Agda https://octocurious.com/Agda Thu, 12 Mar 2026 13:32:33 GMT https://octocurious.com/Indexed-Algebra https://octocurious.com/Indexed-Algebra Thu, 12 Mar 2026 12:57:11 GMT https://octocurious.com/Indexed-Container https://octocurious.com/Indexed-Container Thu, 12 Mar 2026 12:49:42 GMT https://octocurious.com/altenkirch2009-indexed-containers https://octocurious.com/altenkirch2009-indexed-containers Thu, 12 Mar 2026 12:33:29 GMT https://octocurious.com/Type-Family https://octocurious.com/Type-Family Thu, 12 Mar 2026 12:14:40 GMT https://octocurious.com/Indexed-Functor https://octocurious.com/Indexed-Functor Thu, 12 Mar 2026 12:07:58 GMT https://octocurious.com/Initial-Algebra https://octocurious.com/Initial-Algebra Thu, 12 Mar 2026 11:44:39 GMT