Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Oct 26, 2011

• Minor tweaks

  adamgundry

  committedOct 26, 2011
  0835a81

Commits on Oct 25, 2011

• Fix case/guard type-checking bug - need cleaner story about layers

  adamgundry

  committedOct 25, 2011
  98a63f5

• Parser and pretty-printer tweaks

  adamgundry

  committedOct 25, 2011
  419c3c1

Commits on Oct 24, 2011

• Fix up the erase test, then make it even more stringent

  adamgundry

  committedOct 24, 2011
  6099f4c

• Qualified module names so we can have Unsafe.Coerce (!)

  adamgundry

  committedOct 24, 2011
  7f8965f

• Fix bug in type-checking case expressions

  adamgundry

  committedOct 24, 2011
  5c7f8a1

• Parse and ignore import statements

  adamgundry

  committedOct 24, 2011
  a7f6577

• Where clauses

  adamgundry

  committedOct 24, 2011
  ff6f890

• Added Vectors example

  adamgundry

  committedOct 24, 2011
  9fff10c

• Use Integer instead of Num as kind (but keep parsing old syntax)

  adamgundry

  committedOct 24, 2011
  3d967c4

Commits on Oct 21, 2011

• Examples

  adamgundry

  committedOct 21, 2011
  1aa3dea

• Warning squashing

  adamgundry

  committedOct 21, 2011
  3338b85

• Char and String

  adamgundry

  committedOct 21, 2011
  55ba6a2

• Parse (some) patterns involving units, tuples and lists

  adamgundry

  committedOct 21, 2011
  da6fcc1

• Implicitly add foralls with kind *

  adamgundry

  committedOct 21, 2011
  eccc69d

• Added unit and hacked-up tuple types

  adamgundry

  committedOct 21, 2011
  19dda44

• Add paranoid option in Check, disabled by default

  adamgundry

  committedOct 21, 2011
  cbf2add

• Build in list syntax

  adamgundry

  committedOct 21, 2011
  6792f19

• Pass through deriving clause on data declarations

  adamgundry

  committedOct 21, 2011
  2c57e6a

• Generate ".inch" file with type signatures and datatype declarations

  adamgundry

  committedOct 21, 2011
  34899b6

• More tidying

  adamgundry

  committedOct 21, 2011
  9e9cf5b

Commits on Oct 20, 2011

• More cabal and tidying goodness

  adamgundry

  committedOct 20, 2011
  9995220

• First attempt at cabalization

  adamgundry

  committedOct 20, 2011
  72f5e9d

• Wires example and a funny thing in induction

  adamgundry

  committedOct 20, 2011
  2f9d8a6

• Make good

  adamgundry

  committedOct 20, 2011
  bb85cdf

• Tidy up tests and make eraseCheck re-typecheck (currently fails a lot due to missing term-level syntax)

  adamgundry

  committedOct 20, 2011
  15e4f03

• Extend unifyTypes to matching operators

  adamgundry

  committedOct 20, 2011
  16f5aba

• Sort out normalisation of awkward types (should we disallow * -> Num syntactically?)

  adamgundry

  committedOct 20, 2011
  b55e46d

• Work on examples

  adamgundry

  committedOct 20, 2011
  21ffca5

• Tidy parser

  adamgundry

  committedOct 20, 2011
  b63780a

Commits on Oct 19, 2011

• Parser hackery

  adamgundry

  committedOct 19, 2011
  ea02b74

• Expand a ^ (b + c) to (a ^ b) * (a ^ c) when normalising

  adamgundry

  committedOct 19, 2011
  8e9a9bf

Commits on Oct 17, 2011

• Drop problematic hypotheses in checkSigma

  adamgundry

  committedOct 17, 2011
  56a10d0

• Assorted tidying

  adamgundry

  committedOct 17, 2011
  9684f5d

• Implicational constraints: basic setup, but breaks checkSigma as it needs universally quantified constraints

  adamgundry

  committedOct 17, 2011
  25cd681

Pagination

PreviousNext