GitHub repository: InitialTypes/Club
Primary language: Agda
Created: 2017-11-22T17:06:20Z
Description: Organization and planning for the Initial Types Club