Skip to content

Instantly share code, notes, and snippets.

@Munksgaard

Munksgaard/gist:f35769477104185bc529c7df43c80d75

Last active December 15, 2022 10:49
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Munksgaard/f35769477104185bc529c7df43c80d75 to your computer and use it in GitHub Desktop.
Save Munksgaard/f35769477104185bc529c7df43c80d75 to your computer and use it in GitHub Desktop.
Download ZIP
Fun types counterexamples
Raw
gistfile1.txt
let (y: Int) = 42
let (xss: [y][x]Int) =
kernel x <= y do
let (xs: [x]Int) = iota(x)
in (xs)
let (z: Int) = 42
let (xs: [x]Int) =
if z then
let (x: Int) = 4
let (xs: [x]Int) = iota(x)
in (xs)
else
let (x: Int) = 6
let (xs: [x]Int) = iota(x)
in (xs)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment