Skip to content

@VariantSync VariantSync

@Murplugg
Murplugg
@sandragreiner
Sandra Greiner sandragreiner

University of Southern Denmark

@pmbittner
Paul Bittner pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG| Allergic to syntax without semantics

University of Paderborn Paderborn