Skip to content

Instantly share code, notes, and snippets.

@jswrenn
Created June 7, 2016 15:43
Show Gist options
  • Save jswrenn/0846a421c3ae6b7ccf7e749a9f9b0a5d to your computer and use it in GitHub Desktop.
Save jswrenn/0846a421c3ae6b7ccf7e749a9f9b0a5d to your computer and use it in GitHub Desktop.
module Client where
import Library
bar = foo 1
module Library (foo) where
foo a = a
module Library (foo) where
foo :: a:{v:t | false} -> t
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment