4 commits
Author | SHA1 | Date | |
---|---|---|---|
Frederik Hanghøj Iversen | 5fd7dcae9d | ||
Frederik Hanghøj Iversen | 902b953ad0 | ||
Frederik Hanghøj Iversen | 0cd75e6e31 | ||
Frederik Hanghøj Iversen | 7d6db415a1 |
Renamed from src/Category.agda (Browse further)