3 Commits

Author	SHA1	Message	Date
Danila Fedorin	8710a5554c	Fix mistakes in the example.agda file for IsSomething. ... Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2023-09-03 11:38:00 -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