BranchCommit messageAuthorAge
masterremove 'correct' from the things I enjoy.Casey Robinson11 days
projects_gridresponsive layout for mobile and tabletsCasey Robinson17 months
sauron-configsauron work in progress...Casey Robinson17 months
strangeloop_postmy thoughts on formal methods after first half of tla+ conferenceCasey Robinson3 days
website-cleanupfirst pass at deleting website clutterCasey Robinson7 months
AgeCommit messageAuthorFilesLines
11 daysremove 'correct' from the things I enjoy.HEADmasterCasey Robinson2-3/+2
2019-08-26bring back vim configuration from historyCasey Robinson233-7/+41401
2019-08-26minimal install for windowsCasey Robinson13-0/+12
2019-08-26line drawing algorithms in 'project underway'Casey Robinson1-2/+2
2019-08-26Practical TLA+ to the reading listCasey Robinson1-2/+2
2019-08-26set font-display strategy to autoCasey Robinson1-0/+3
2019-08-26merge css filesCasey Robinson6-110/+110
2019-08-26fix landing page after font changesCasey Robinson1-0/+3
2019-08-26use Junction font for normal text and League Mono for code blocksCasey Robinson3-5/+9
2019-08-26remove ambiguous icons from landing pageCasey Robinson1-5/+0