[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