11
reputation
2

Andreas Abel

Senior lecturer at Gothenburg University and Chalmers.

One of the implementors of the Agda programming language.

1
answer
0
questions
0
people reached

Top tags (5)

Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (1)

Badges (2)

Gold

Silver

Bronze

2

Rarest