Skip to content
@InitialTypes

Initial Types Club

Informal seminar in Computer Science at Chalmers and Gothenburg University

Popular repositories Loading

  1. Club Club Public

    Organization and planning for the Initial Types Club

    Agda 75 6

Repositories

Showing 1 of 1 repositories
  • Club Public

    Organization and planning for the Initial Types Club

    InitialTypes/Club’s past year of commit activity
    Agda 75 6 0 0 Updated Sep 22, 2022

Top languages

Agda

Most used topics

Loading…