Griffin Smith 8ba14144a3 Update to latest doom, agda stuff, misc		2018-08-31 13:31:14 -04:00
..
date	Initial commit	2018-03-29 18:10:07 -04:00
date-time	Initial commit	2018-03-29 18:10:07 -04:00
nologdone	Initial commit	2018-03-29 18:10:07 -04:00