On 2020-04-16 18:29, Philippe de Rochambeau wrote: > If you accept Agda newbies who aren’t CS PhDs, I’d be interested :-) You and other newbies are welcome. -- /NAD