2 commits

Author	SHA1	Message	Date
mehbark	787a07a9a2	hot take first skeleton done	2023-07-10 14:52:20 -04:00
mehbark	619818774e	coq talk with eggbug	2023-07-10 05:51:25 -04:00