Andreas Abel
  • GitHub
  • cse.chalmers.se/~abela
  • Munich, Germany
  • Member for 6 years, 4 months
Stats
1
reputation
0
reached
0
answers
0
questions
About

Senior lecturer at Gothenburg University and Chalmers.

One of the implementors of the Agda programming language.

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge

Keeping a low profile.

This user hasn't posted yet.