{"name":"agda-1lab","version":"0.0-3.afcf848","synopsis":{"source":"Reference resource for mathematics done in Homotopy Type Theory","html":"<div><p>Reference resource for mathematics done in Homotopy Type Theory</p></div>","plain":"Reference resource for mathematics done in Homotopy Type Theory\n\n","locale":"en_US.UTF-8"},"description":{"source":"A formalised, cross-linked reference resource for\nmathematics done in Homotopy Type Theory.  Unlike the HoTT book, the 1lab is\nnot a “linear” resource: Concepts are presented as a directed graph, with\nlinks indicating dependencies.","html":"<div><p>A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory. Unlike the HoTT book, the 1lab is not a &ldquo;linear&rdquo; resource: Concepts are presented as a directed graph, with links indicating dependencies.</p></div>","plain":"A formalised, cross-linked reference resource for mathematics done in\nHomotopy Type Theory.  Unlike the HoTT book, the 1lab is not a “linear”\nresource: Concepts are presented as a directed graph, with links\nindicating dependencies.\n\n","locale":"en_US.UTF-8"},"location":{"file":"gnu/packages/agda.scm","line":302,"column":4},"home-page":"https://1lab.dev","derivations":[{"system":"x86_64-linux","target":"","derivation":"/gnu/store/vkz9zv5sp370im7r8pagf2mhxj1y504a-agda-1lab-0.0-3.afcf848.drv","outputs":[{"name":"out","path":"/gnu/store/224pa00p2sjnkszyl5bng9p2jnyz7700-agda-1lab-0.0-3.afcf848","hash_algorithm":false,"hash":false,"recursive?":false,"nars":[{"hash":{"algorithm":"sha256","value":"00sjsbycsla3acagkdfcqdvz6xi6d9g9kaagqys5a5q43n1k23k3"},"size":178829168},{"hash":{"algorithm":"sha256","value":"00sjsbycsla3acagkdfcqdvz6xi6d9g9kaagqys5a5q43n1k23k3"},"size":178829168}]}]},{"system":"i686-linux","target":"","derivation":"/gnu/store/rkbbc8v62z2pylprnilq9v6pak11bb9r-agda-1lab-0.0-3.afcf848.drv","outputs":[{"name":"out","path":"/gnu/store/fffgmipfbm7fx64zflvx4ya5q18jh2nc-agda-1lab-0.0-3.afcf848","hash_algorithm":false,"hash":false,"recursive?":false,"nars":[]}]}]}