Default Branch

master

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

Branches

donations

d5f478b3c6 · Add donations · Updated 2 years ago

150
0
Included
search

e0451d026c · Update index. · Updated 3 years ago

198
0
Included
localization

0b5748cc5a · Add links in part 0 of compiler series. · Updated 3 years ago

294
8
colors

49469bdf12 · Fix issues in typesafe interpreter article. · Updated 3 years ago

297
0
Included
table-of-contents

e7d56dd4bd · Clean up some styles. · Updated 3 years ago

329
0
Included
margin-rework

71fc0546e0 · Move move code into common 'margin node' mixin. · Updated 3 years ago

337
0
Included
sidenotes

f75a47e273 · Add post about sidenotes · Updated 4 years ago

540
0
Included