Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 18, 2017

• Working protocols for basic cases (#47)

  Zoetermeer

  committed
  df1a0eb

  Copy full SHA for df1a0eb

Commits on Jun 10, 2017

• Cosmetic improvements to encoding/decoding example

  Zoetermeer

  committed
  375f83c

  Copy full SHA for 375f83c

Commits on Jun 9, 2017

• Add ASCII base95 decoding example

  Zoetermeer

  committed
  a6c8847

  Copy full SHA for a6c8847

Commits on Jun 8, 2017

• Tweak protocol declaration syntax and update relevant examples

  Zoetermeer

  committed
  7d8634f

  Copy full SHA for 7d8634f

Commits on Jun 5, 2017

• Allow infix operator names in import filter clauses

  Zoetermeer

  committed
  e753b60

  Copy full SHA for e753b60

• Add import hiding/renaming clauses (closes #59)

  Zoetermeer

  committed
  aae2005

  Copy full SHA for aae2005

Commits on Jun 2, 2017

• Cosmetic improvements to the JSON REPL example

  Zoetermeer

  committed
  04592c1

  Copy full SHA for 04592c1

• Add array parsing to JSON example, and add to the test harness

  Zoetermeer

  committed
  50ca358

  Copy full SHA for 50ca358

Commits on Jun 1, 2017

• Add object parsing to JSON example

  Zoetermeer

  committed
  9a2dc74

  Copy full SHA for 9a2dc74

• Fix tests broken by scoping rule changes

  Zoetermeer

  committed
  b5099aa

  Copy full SHA for b5099aa

• Move Result.Monadic into Core, adjust JSON parser example

  Zoetermeer

  committed
  4bf11f9

  Copy full SHA for 4bf11f9

• Fix up the JSON parser example

  Zoetermeer

  committed
  65bbde0

  Copy full SHA for 65bbde0

• Drop module closures altogether and require explicit importing everywhere

  Zoetermeer

  committed
  4b3546d

  Copy full SHA for 4b3546d

Commits on May 17, 2017

• Use different functions for first and second passes of alpha-conversion; don't allow partially-qualified references either in the module closure or imported environment

  Zoetermeer

  committed
  8b7780c

  Copy full SHA for 8b7780c

Commits on Mar 27, 2017

• Use double-colon for qualified-name delimiter, and adjust cons and infix-operator definition symbols accordingly

  Zoetermeer

  committed
  e71218c

  Copy full SHA for e71218c

Commits on Mar 23, 2017

• Use angle brackets (<>) instead of curly braces for type param/argument lists

  Zoetermeer

  committed
  325b80f

  Copy full SHA for 325b80f

• Use 'let' instead of 'def' for local bindings

  

  James Swaine

  committed
  0f9da62

  Copy full SHA for 0f9da62

Commits on Oct 14, 2016

• Progress on protocols

  Zoetermeer

  committed
  db86819

  Copy full SHA for db86819

Commits on Sep 20, 2016

• Tweaks to protocol examples

  Zoetermeer

  committed
  b04ff18

  Copy full SHA for b04ff18

Commits on Aug 19, 2016

• Syntactic support for protocol constraints on all annotations

  Zoetermeer

  committed
  d6e4e80

  Copy full SHA for d6e4e80

• Implement stubbed syntax pieces for protocols (#47)

  Zoetermeer

  committed
  44bfc54

  Copy full SHA for 44bfc54

• Add syntactic support for protocol declarations/implementations

  Zoetermeer

  committed
  95ec265

  Copy full SHA for 95ec265

• Add a few hypothetical protocol examples

  Zoetermeer

  committed
  bd7bf1d

  Copy full SHA for bd7bf1d

Commits on Aug 6, 2016

• Improvements to JSON parser example

  Zoetermeer

  committed
  5842f61

  Copy full SHA for 5842f61

Commits on Aug 5, 2016

• Make blocks another form of expression mapping to ExpBegin, and make all exp-sequence bodies single-expression (closes #38)

  Zoetermeer

  committed
  733c2ab

  Copy full SHA for 733c2ab

Commits on Jul 28, 2016

• Remove 'case' from cond/switch clauses (closes #37)

  Zoetermeer

  committed
  6b501c7

  Copy full SHA for 6b501c7

Commits on Jul 23, 2016

• More test corrections

  Zoetermeer

  committed
  347b067

  Copy full SHA for 347b067

• Include examples in the test suite

  Zoetermeer

  committed
  d677940

  Copy full SHA for d677940

• Update examples with revised syntax/restricted top-level binding rules

  Zoetermeer

  committed
  6149744

  Copy full SHA for 6149744

Commits on Jul 22, 2016

• Use GetOpt in the CLI; organize CLI switches a bit better

  Zoetermeer

  committed
  472162d

  Copy full SHA for 472162d

Commits on Jul 19, 2016

• Add more to Core (including tests); improvements to the monad and JSON parser examples

  Zoetermeer

  committed
  4609dd2

  Copy full SHA for 4609dd2

Commits on Jul 18, 2016

• Add a simple forward-reference example as a worst-case for in-order type inference

  Zoetermeer

  committed
  83e6c03

  Copy full SHA for 83e6c03

• Flesh out the Maybe monad example

  Zoetermeer

  committed
  f0982a8

  Copy full SHA for f0982a8

Commits on Jul 15, 2016

• Minor improvements to the JSON parser example

  Zoetermeer

  committed
  a9f5401

  Copy full SHA for a9f5401

Commits on Jul 13, 2016

• Use ++ for list concat instead of @ in Core

  Zoetermeer

  committed
  9f1afb7

  Copy full SHA for 9f1afb7

Pagination

Previous

Next