Separating the type and value namespaces?

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/ProgrammingLanguages

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • OPS - Build and Run Open Source Unikernels
  • SonarLint - Deliver Cleaner and Safer Code - Right in Your IDE of Choice!
  • GitHub repo agda-stdlib

    The Agda standard library

    Most of the times you want the first three arguments to be passed implicitly, not just the first. And the syntax for passing arguments implicitly is the same for the type argument A and the term arguments n and m. (For Agda, see e.g. l.49 here: https://github.com/agda/agda-stdlib/blob/master/src/Data/Star/Vec.agda)

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts