Skip to content

@InitialTypes Initial Types Club

All

    Repositories list

    1 repository

    • Club

      Public
      Organization and planning for the Initial Types Club
      Agda
      •6•76•0•0•Updated Sep 22, 2022Sep 22, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.