3 commits

Author	SHA1	Message	Date
mehbark	10d983f1fb	fix double 1 in coq wings path	2023-07-10 15:02:43 -04:00
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