InitialTypes/Club

Organization and planning for the Initial Types Club

Agda