Geeks
flickyfrans
flickyfrans Home
flickyfrans GitHub
1
Repo
0
Stars
0
Followers
0
Following
Pinned Repositories
agda-stdlib
The Agda standard library
Language:
Agda
0
0
flickyfrans's Repositories
flickyfrans/
agda-stdlib
The Agda standard library
Language:
Agda
0
0