Blarney HDL
Colin van Loo
cvanloo
I can resist everything except temptation.
Eastern Switzerland University of Applied Science (OST) Zürich, Switzerland
Paul Bittner
pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG| Allergic to syntax without semantics
University of Paderborn Paderborn