Default Branch

master 8710a5554c · Fix mistakes in the example.agda file for IsSomething. · Updated 3 weeks ago

ZIP  TAR.GZ

Branches

donations d5f478b3c6 · Add donations · Updated 2 years ago	150 0	Included	ZIP  TAR.GZ
search e0451d026c · Update index. · Updated 3 years ago	198 0	Included	ZIP  TAR.GZ
localization 0b5748cc5a · Add links in part 0 of compiler series. · Updated 3 years ago	294 8	Compare	ZIP  TAR.GZ
colors 49469bdf12 · Fix issues in typesafe interpreter article. · Updated 3 years ago	297 0	Included	ZIP  TAR.GZ
table-of-contents e7d56dd4bd · Clean up some styles. · Updated 3 years ago	329 0	Included	ZIP  TAR.GZ
margin-rework 71fc0546e0 · Move move code into common 'margin node' mixin. · Updated 3 years ago	337 0	Included	ZIP  TAR.GZ
sidenotes f75a47e273 · Add post about sidenotes · Updated 4 years ago	540 0	Included	ZIP  TAR.GZ