This repository has been archived on 2024-02-25. You can view files and clone it, but cannot push or open issues/pull-requests.

Brian Hicks 8b779d4afe add missing more link		2024-02-19 09:16:10 -06:00
..
micro	add missing more link	2024-02-19 09:16:10 -06:00
posts	move more link up one paragraph	2024-02-06 12:25:23 -06:00
projects	add a thing-a-month meta project	2024-02-08 06:21:13 -06:00
talks	add elm-csv	2022-12-14 14:05:31 -06:00
colophon.md	don't offer to host for anybody else	2024-02-06 12:55:50 -06:00
kitchen-sink.md	add Alloy code sample to the kitchen sink	2022-12-19 15:36:08 -06:00
open-invitation.md	add lightweight formal methods to my interests list	2022-12-27 10:17:35 -06:00