Skip to main content
Andreas Abel's user avatar
Andreas Abel's user avatar
Andreas Abel's user avatar
Andreas Abel
  • Member for 9 years, 2 months
  • Last seen more than 2 years ago
About

Senior lecturer at Gothenburg University and Chalmers.

One of the implementors of the Agda programming language.

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

This user hasn’t posted yet.