[Agda] Online Agda meeting?
Alexander Ben Nasrallah
me at abn.sh
Fri Apr 17 17:16:12 CEST 2020
On Fri, Apr 17, 2020 at 03:29:11PM +0200, Nils Anders Danielsson wrote:
> 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.
I would consider myself an interested newbie :)
Talks and code sprints sound booth interesting.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: Digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200417/b0e4fd96/attachment.sig>
More information about the Agda
mailing list