Agda Posts

Latest Agda related posts with mentions of open-source projects

  • Static Type Safety with Variadic Functions: an Idea and a Question

    1 project | /r/ProgrammingLanguages | 12 months ago

  • The semantics of a simple functional language

    1 project | news.ycombinator.com | about 1 year ago

  • Category of types

    1 project | /r/agda | about 1 year ago

  • When do you find it better to use non-ASCII identifiers?

    1 project | /r/rust | over 1 year ago

  • Category Theory Library for Agda

    1 project | news.ycombinator.com | over 1 year ago

  • agda2hs, verify your haskell code in agda?

    3 projects | /r/haskell | over 2 years ago

  • The Homotopy Type Theory (HoTT) Game

    1 project | news.ycombinator.com | over 2 years ago

  • How far can I automate?

    1 project | /r/agda | over 2 years ago

  • What are some examples of non-trivial proofs written in Agda that I might read?

    1 project | /r/agda | over 2 years ago

  • "I code as a hobby!" — Ryan Orendorff

    1 project | dev.to | over 2 years ago

  • Decidable Equality in Agda with less than n^2 cases and computational scale

    1 project | /r/agda | over 2 years ago

  • Homotopy Type Theory

    3 projects | news.ycombinator.com | over 2 years ago

  • Nine digit problem

    1 project | /r/obfuscatedcode | over 2 years ago

  • Nine digit problem

    1 project | /r/adventofcode | over 2 years ago

  • Separating the type and value namespaces?

    1 project | /r/ProgrammingLanguages | over 2 years ago