Skip to content

Instantly share code, notes, and snippets.

@CampingScorpion

CampingScorpion/*scratch*.el

Created July 9, 2014 06:15
Show Gist options
  • Save CampingScorpion/c1e410f22a8e98310cf0 to your computer and use it in GitHub Desktop.
Save CampingScorpion/c1e410f22a8e98310cf0 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
*scratch*.el
Type checking ./05-Lists.idr
05-Lists.idr:6:6:When elaborating right hand side of nats:
Can't disambiguate name: Prelude.List.::,
Prelude.Stream.::,
Prelude.Vect.::
05-Lists.idr:58:10:When elaborating right hand side of stopPete:
When elaborating an application of function Prelude.Classes.==:
Can't disambiguate name: Prelude.List.::,
Prelude.Stream.::,
Prelude.Vect.::
Metavariables: Koans.Lists.stopPete, Koans.Lists.fillme14, Koans.Lists.fillme13, Koans.Lists.fillme12, ... ( + 12 others)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment