|6 months ago||5 days ago|
|GNU General Public License v3.0 only||GNU General Public License v3.0 or later|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Record dot syntax has been merged
8 projects | reddit.com/r/haskell | 10 Mar 2021
I've shared my experiences, too, though I don't have specific examples. I find https://hackage.haskell.org/package/parsec-220.127.116.11/docs/src/Text.Parsec.Prim.html mush easier to read, modify, and use than https://github.com/gallais/agdarsec/blob/master/src/Text/Parser.agda . That's a specific example.
Separating the type and value namespaces?
1 project | reddit.com/r/ProgrammingLanguages | 9 Mar 2021
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)
What are some alternatives?
idris - A Dependently Typed Functional Programming Language
24-days-of-purescript-2016 - 24 Days of PureScript, 2016
agda-life - Conway's Game of Life in Agda.
julia - The Julia Programming Language
l4v - seL4 specification and proofs
Agda - Agda formalisation of the Introduction to Homotopy Type Theory
cryptominisat - An advanced SAT solver
ghc-proposals - Proposed compiler and language changes for GHC and GHC/Haskell