Skip to content

@polarity-lang Polarity

@pmbittner
Paul Bittner pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG

University of Paderborn Paderborn

@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka