Bibliotek skrivna i Haskell
sbvPlugin
Bevisa formellt egenskaper hos Haskell-program med SBV/SMT..
- 41
- BSD 3-clause "New" or "Revised"
semilattices
gå med och möt semilattices, nedre och övre gränser..
- 41
- BSD 3-clause "New" or "Revised"
ParsleyHaskell
Återimplementering av Persilja i Haskell, med förbättringar.
- 41
- BSD 3-clause "New" or "Revised"