Initial Types Club

Informal seminar in Computer Science at Chalmers and Gothenburg University

Pinned Repositories

Club
Organization and planning for the Initial Types Club
Language:Agda70 14 36

Initial Types Club's Repositories

InitialTypes/Club
Organization and planning for the Initial Types Club
Language:Agda70 14 36