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?
cubical RecommendationsThere 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.
Recently added cubical resources
Be the first to add one!