LambdaDelta Lab
Users following LambdaDelta-Lab
Paul Bittner
pmbittner
Software Engineer and PhD | Likes Agda, Agdq, ADTs, ASTs, MtG
Salzgitter Digital Solutions Würzburg
Wen Kokke
wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai
Scotland
