3 Commits

Author	SHA1	Message	Date
Danila Fedorin	6b24d67409	Minor wording updates to the Agda post.	2023-08-31 22:30:36 -07:00
Danila Fedorin	48c3105f42	Finish and publish the IsSomething article	2023-08-31 22:16:26 -07:00
Danila Fedorin	032453c4d0	Add a first draft of the IsSomething article	2023-08-28 23:04:39 -07:00