{"version":1,"pages":[{"id":"-McPRumkU_xN7maeekMT","title":"Strict types","pathname":"/","siteSpaceId":"sitesp_NV3DH","description":"Portable & deterministic formalism for algebraic data types"},{"id":"-Mg7dEPn3upYW3VrQDmZ","title":"Data type algebra","pathname":"/type-system/data-primitives","siteSpaceId":"sitesp_NV3DH","description":"","breadcrumbs":[{"label":"Type system"}]},{"id":"Ofp1OIixVPcALYldRXM3","title":"Type semantics and layout","pathname":"/type-system/type-semantics-and-layout","siteSpaceId":"sitesp_NV3DH","description":"","breadcrumbs":[{"label":"Type system"}]}]}