Members · Iris / Tutorial POPL18 · GitLab

Project members

Members can be added by project Maintainers or Owners

Members of Tutorial POPL18 9

Derek Dreyer @dreyer

· Iris
Given access Jan 24, 2019

Maintainer
Hai Dang @haidang

· Iris
Given access Oct 31, 2018

Owner
Jacques-Henri Jourdan @jjourdan

· Iris
Given access Oct 31, 2018

Maintainer
Janno @janno

· Iris
Given access Oct 31, 2018

Maintainer
Michael Sammler @msammler

· Iris
Given access Mar 06, 2020

Maintainer
Ralf Jung @jung

· Iris
Given access Oct 31, 2018

Owner
Robbert @robbertkrebbers

· Iris
Given access Oct 31, 2018

Maintainer
Rodolphe Lepigre @lepigre

Given access Jan 24, 2019

Developer
iris-dev @iris-dev

· Iris
Given access Mar 03, 2019

Maintainer