Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 26, 2012

• Made tutorial and examples consistent with latest library

  

  Edwin Brady

  committed
  b752e2d

  Copy full SHA for b752e2d

• Better name-chasing in Compiler

  

  Edwin Brady

  committed
  cfc12ba

  Copy full SHA for cfc12ba

• Fix library compilation errors and improve name resolution in patterns

  

  Edwin Brady

  committed
  66bcd8c

  Copy full SHA for 66bcd8c

• Merge pull request #6 from dpmulligan/master

  Show description for 092e30b
  

  Edwin Brady

  committed
  092e30b

  Copy full SHA for 092e30b

• Added (experimentally) auto implicit arguments

  

  Edwin Brady

  committed
  98be75c

  Copy full SHA for 98be75c

• Build a call graph and only compile things which are used

  

  Edwin Brady

  committed
  6dcf4c3

  Copy full SHA for 6dcf4c3

• fixed name of module, renaming from my private module name to the correct name for addition in prelude

  dpmulligan

  committed
  71705d5

  Copy full SHA for 71705d5

• Big load of theory on lists, and the start of a sketch of a hierarchy for numeric types.

  dpmulligan

  committed
  bed7b3e

  Copy full SHA for bed7b3e

Commits on Jan 25, 2012

• Merge branch 'master' of https://github.com/dpmulligan/Idris-dev

  Show description for b66ec2b
  

  Edwin Brady

  committed
  b66ec2b

  Copy full SHA for b66ec2b

• Merge pull request #5 from IreneKnapp/master

  Show description for 32ab3b1
  

  Edwin Brady

  committed
  32ab3b1

  Copy full SHA for 32ab3b1

• Bug fixes; checking type names in data decls

  

  Edwin Brady

  committed
  fc6eb53

  Copy full SHA for fc6eb53

• Added 'total' keyword and positivity check

  

  Edwin Brady

  committed
  de6bb41

  Copy full SHA for de6bb41

Commits on Jan 24, 2012

• Error message tinker

  

  Edwin Brady

  committed
  8baaa42

  Copy full SHA for 8baaa42

Commits on Jan 23, 2012

• Flip was in both builtins.idr and prelude.idr; it is now removed from the latter.

  

  Irene Knapp

  committed
  17cbae5

  Copy full SHA for 17cbae5

• Implement "any" for lists. Obviously this is just the tip of an iceberg.

  

  Irene Knapp

  committed
  2e994b8

  Copy full SHA for 2e994b8

• Eq and Ord instances for lists and tuples.

  

  Irene Knapp

  committed
  7c59234

  Copy full SHA for 7c59234

Commits on Jan 22, 2012

• New .gitignore for Cabal's directory and .ibc files.

  

  Irene Knapp

  committed
  b21db50

  Copy full SHA for b21db50

• Small change to list.idr file removing stray qualified names.

  dpmulligan

  committed
  3e3cbfb

  Copy full SHA for 3e3cbfb

• Added a large chunk of theory over lists, most of it taken from the Haskell prelude and the O'Caml standard library.

  Show description for 7315eaf
  dpmulligan

  committed
  7315eaf

  Copy full SHA for 7315eaf

• Well founded recursion check

  

  Edwin Brady

  committed
  ae4be75

  Copy full SHA for ae4be75

Commits on Jan 21, 2012

• Tidy up interpreter sample

  

  Edwin Brady

  committed
  fb3160e

  Copy full SHA for fb3160e

• added dsl blocks

  

  Edwin Brady

  committed
  dc3f0f9

  Copy full SHA for dc3f0f9

• Fix circular dependencies

  

  Edwin Brady

  committed
  c08dff7

  Copy full SHA for c08dff7

• Merge pull request #2 from dpmulligan/master

  Show description for 6a5d1fc
  

  Edwin Brady

  committed
  6a5d1fc

  Copy full SHA for 6a5d1fc

• Merge pull request #3 from nlogax/master

  Show description for b63e9bb
  

  Edwin Brady

  committed
  b63e9bb

  Copy full SHA for b63e9bb

• Unreachable case warning

  

  Edwin Brady

  committed
  6807cf4

  Copy full SHA for 6807cf4

• Add `head` and `tail` for lists

  

  Jonas Westerlund

  committed
  64a2bc8

  Copy full SHA for 64a2bc8

• Update to Setup,hs (via Dirk Ullrich)

  

  Edwin Brady

  committed
  12c93ed

  Copy full SHA for 12c93ed

Commits on Jan 20, 2012

• Re-added missing maybe_bind to prelude Maybe module.

  dpmulligan

  committed
  5570cee

  Copy full SHA for 5570cee

• Forgotten a fix to catMaybes which was pattern matching against an Either type, not the Maybe type.

  dpmulligan

  committed
  d282d56

  Copy full SHA for d282d56

• Changes to prelude Maybe.idr file: removing class instances that were already defined, as well as fixing a type error.

  dpmulligan

  committed
  1ea1993

  Copy full SHA for 1ea1993

• Merge remote-tracking branch 'upstream/master'

  dpmulligan

  committed
  2f5f607

  Copy full SHA for 2f5f607

Commits on Jan 19, 2012

• Added more to prelude, specifically in the files either.idr and maybe.idr. Ported most of the (total functions from) the Haskell Prelude relating to these types, as well as commonly used auxilliar…

  Show description for 34b88d6
  dpmulligan

  committed
  34b88d6

  Copy full SHA for 34b88d6

• Merge pull request #1 from dpmulligan/master

  Show description for c67c3f1
  

  Edwin Brady

  committed
  c67c3f1

  Copy full SHA for c67c3f1

• Some minor fiddling

  

  Edwin Brady

  committed
  247b20c

  Copy full SHA for 247b20c

Pagination

Previous

Next