8000 Stargazers · agda/agda2lambox · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Stargazers

  1. @spitters

    spitters

    Works for Aarhus University

  2. @bsaul

    bsaul

    Is from Chapel Hill, NC

  3. @jkopanski

    jkopanski

    Joined on Feb 10, 2011

  4. @liesnikov

    liesnikov

    Joined on Feb 10, 2016

  5. @casvdrest

    casvdrest

    Works for IOHK

  6. @flupe

    flupe

    Works for TU Delft

0