Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 5, 2017

• Implemented Stepehen Diehl's constraint inferencer

  gcnew

  committed
  a6ebca4

  Copy full SHA for a6ebca4

• Minor code, safety and style fixes

  gcnew

  committed
  cdb59ff

  Copy full SHA for cdb59ff

Commits on Jan 4, 2017

• Clean-up: removed extra imports, identifiers and sporadic mistakes

  gcnew

  committed
  f3d6892

  Copy full SHA for f3d6892

Commits on Dec 29, 2016

• Failing tests now show the input/source

  gcnew

  committed
  8be281c

  Copy full SHA for 8be281c

• Improved tests to be more automatic

  gcnew

  committed
  7702163

  Copy full SHA for 7702163

Commits on Oct 28, 2016

• Fixed checker - unify arrow.to after substituting first

  gcnew

  committed
  aadb52e

  Copy full SHA for aadb52e

• Reimplemented Checker from Stephen Diehl's checker in Write You a Haskell

  gcnew

  committed
  079b0cf

  Copy full SHA for 079b0cf

Commits on Oct 22, 2016

• Latest chanegs to checker - it is not fixable with the current strategy..

  gcnew

  committed
  2c79188

  Copy full SHA for 2c79188

Commits on Sep 25, 2016

• WIP

  gcnew

  committed
  47605de

  Copy full SHA for 47605de

Commits on Sep 23, 2016

• TypeChecker almost working

  gcnew

  committed
  ca2586a

  Copy full SHA for ca2586a

• WIP

  gcnew

  committed
  0761805

  Copy full SHA for 0761805

• Semi-working custom type inferencer

  gcnew

  committed
  08c42cb

  Copy full SHA for 08c42cb

Commits on Sep 20, 2016

• Go-go-go monads

  gcnew

  committed
  cb88235

  Copy full SHA for cb88235

Commits on Sep 14, 2016

• WIP

  gcnew

  committed
  9383283

  Copy full SHA for 9383283

Commits on Sep 11, 2016

• Fixed return type of parseCombine4

  gcnew

  committed
  97e9ebb

  Copy full SHA for 97e9ebb

Commits on Sep 10, 2016

• Fixed grammar

  gcnew

  committed
  9063431

  Copy full SHA for 9063431

• Fixed expression pretty printing

  gcnew

  committed
  918f602

  Copy full SHA for 918f602

• Removed surpressImplicitAnyIndexErrors

  gcnew

  committed
  3144a87

  Copy full SHA for 3144a87

• Added fst/snd prelude functions

  gcnew

  committed
  08e1207

  Copy full SHA for 08e1207

Commits on Sep 8, 2016

• Use List/lookup instead of ad-hoc Context definition

  gcnew

  committed
  e8d9b1d

  Copy full SHA for e8d9b1d

Commits on Sep 7, 2016

• Added webpack for convenience

  gcnew

  committed
  aa2f91c

  Copy full SHA for aa2f91c

• Implemented parser via combinators

  gcnew

  committed
  77c5796

  Copy full SHA for 77c5796

Commits on Sep 5, 2016

• Initial commit

  gcnew

  committed
  82a853c

  Copy full SHA for 82a853c