forsyde-deep 0.2.0
The ForSyDe (Formal System Design) methodology has been developed with the objective to move syst...1 version - Latest release: about 7 years ago - 1 dependent repositories - 758 downloads total - 3 maintainers
type-level 0.3.0
This library permits performing computations on the type-level. Type-level functions are implemen...7 versions - Latest release: over 9 years ago - 2 dependent packages - 6 dependent repositories - 7.74 thousand downloads total - 5 maintainers
ForSyDe 3.1.1
The ForSyDe (Formal System Design) methodology has been developed with the objective to move syst...3 versions - Latest release: over 15 years ago - 3.88 thousand downloads total - 4 maintainers
parameterized-data 0.1.6
This library provides an implementation of parameterized types using type-level computations to i...6 versions - Latest release: over 9 years ago - 1 dependent repositories - 4.89 thousand downloads total - 4 maintainers
forsyde-shallow 3.5.0.0
The ForSyDe (Formal System Design) methodology has been developed with the objective to move syst...6 versions - Latest release: almost 5 years ago - 2 dependent repositories - 3 thousand downloads total - 3 maintainers
Details
| Login | ingo |
| Profile | View on hackage.haskell.org |