3 Commits

Author	SHA1	Message	Date
Danila Fedorin	2b5dcf12d7	Rename the SPA intro to have a specific name ... Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-12 13:50:29 -07:00
Danila Fedorin	5873c1ca96	Write a high-level introduction for the SPA series ... Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-05-12 13:49:21 -07:00
Danila Fedorin	c6e2ecb996	Add first section of Agda program analysis article ... Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>	2024-03-14 22:25:17 -07:00