Skip to content

@InitialTypes Initial Types Club

Change the repository type filter

All

    Repositories list

    1 repository

    • Club

      Public
      Organization and planning for the Initial Types Club
      Agda
      •6•71•0•0•Updated Sep 22, 2022Sep 22, 2022