theuibcoworkers.plfa

theuibcoworkers.plfa

We read and discuss topics from Programming Language Foundations in Agda, https://plfa.github.io 17 total members

1 public admin

jonaprieto
Jonathan Prieto-Cubides

How to join theuibcoworkers.plfa

Download Keybase and enter "theuibcoworkers.plfa" from the teams tab. If the admins believe you belong in the team, they will sign you into it. Or, if you personally know the admins, you can ask them to add you.