qexat/refined_nat.hs

Created August 31, 2023 21:45

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/qexat/3237e60529c7b1d93aa87b36d9bce2e1.js"></script>
Save qexat/3237e60529c7b1d93aa87b36d9bce2e1 to your computer and use it in GitHub Desktop.

Download ZIP

this static refinement type is not valid haskell code :(

Raw

refined_nat.hs

	refined Nat n where
	n :: (Integer t) => t
	n >= 0

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment