Refinement Types? #452
dogatkeyboard
started this conversation in
Ideas and Proposals
Refinement Types?
#452
Replies: 1 comment
-
|
If we did it'd be quite a long-term (many years) goal... |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Any chance we might see refinement types like that of Liquid Haskell, for Coalton, in the future? https://ucsd-progsys.github.io/liquidhaskell-blog/
Beta Was this translation helpful? Give feedback.
All reactions