Popularity
9.4
Stable
Activity
0.0
Stable
115
23
9

Monthly Downloads: 40
Programming language: Haskell
License: MIT License

cubical alternatives and related packages

Based on the "Dependent Types" category

Do you think we are missing an alternative of cubical or a related project?

Add another 'Dependent Types' Package

cubical Recommendations

There are no recommendations yet. Be the first to promote cubical!

Have you used cubical? Share your experience. Write a short recommendation and cubical, you and your project will be promoted on Awesome Haskell.
Recommend cubical

Recently added cubical resources

Do you know of a usefull tutorial, book or news relevant to cubical?
Be the first to add one!