Skip to content

Instantly share code, notes, and snippets.

@varreli

varreli/gist:9a0bde353d0df9e39265a45f2763cafd

Created May 6, 2018 21:07
Show Gist options
  • Save varreli/9a0bde353d0df9e39265a45f2763cafd to your computer and use it in GitHub Desktop.
Save varreli/9a0bde353d0df9e39265a45f2763cafd to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
λ > :l 75_taut.hs
[1 of 1] Compiling Main ( 75_taut.hs, interpreted )
75_taut.hs:2:1: error:
Failed to load interface for ‘Propositions’
Use -v to see a list of the files searched for.
Failed, modules loaded: none.
λ >
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment