Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 20, 2023

• Updated README

  zesterer

  committed
  b401bcc

  Copy full SHA for b401bcc

Commits on Sep 17, 2023

• Fixed example

  zesterer

  committed
  17594ee

  Copy full SHA for 17594ee

Commits on Sep 15, 2023

• Fixed broken playground

  zesterer

  committed
  f8e6c1f

  Copy full SHA for f8e6c1f

Commits on Sep 7, 2023

• Another example

  zesterer

  committed
  6c45902

  Copy full SHA for 6c45902

• Clarification

  zesterer

  committed
  7f9896e

  Copy full SHA for 7f9896e

• Corrections

  zesterer

  committed
  d37bc00

  Copy full SHA for d37bc00

• Added effect section to README

  zesterer

  committed
  33590da

  Copy full SHA for 33590da

Commits on Sep 6, 2023

• Testing

  zesterer

  committed
  0791432

  Copy full SHA for 0791432

• Added support for call graph viewing to playground

  zesterer

  committed
  f1269a7

  Copy full SHA for f1269a7

• Added GitHub link to playground

  zesterer

  committed
  dec368d

  Copy full SHA for dec368d

• Improved playground text area

  zesterer

  committed
  738bed0

  Copy full SHA for 738bed0

• Added support for effect kinds in effects (yo, dawg)

  zesterer

  committed
  82ae7f7

  Copy full SHA for 82ae7f7

• Deploy in release mode

  zesterer

  committed
  554e79f

  Copy full SHA for 554e79f

• Updated CSS

  zesterer

  committed
  d5302de

  Copy full SHA for d5302de

Commits on Sep 5, 2023

• Fixed workspace

  zesterer

  committed
  716734f

  Copy full SHA for 716734f

• Removed old web demo

  zesterer

  committed
  ca63122

  Copy full SHA for ca63122

• Radically improved new demo site

  zesterer

  committed
  438bfa4

  Copy full SHA for 438bfa4

• Alternative trunk install

  zesterer

  committed
  50553fb

  Copy full SHA for 50553fb

• Use earlier trunk version

  zesterer

  committed
  8127cde

  Copy full SHA for 8127cde

• Fix deploy

  zesterer

  committed
  c627719

  Copy full SHA for c627719

• Test site

  zesterer

  committed
  08a3930

  Copy full SHA for 08a3930

• Minor improvements

  zesterer

  committed
  ede1532

  Copy full SHA for ede1532

Commits on Aug 22, 2023

• Minor optimisations based on local equality

  zesterer

  committed
  b782319

  Copy full SHA for b782319

Commits on Jun 29, 2023

• Improved standard library

  zesterer

  committed
  8ffa010

  Copy full SHA for 8ffa010

• Cull trailing branches after one that definitely matches

  zesterer

  committed
  b51822a

  Copy full SHA for b51822a

Commits on Jun 28, 2023

• Began work on module system

  zesterer

  committed
  226f971

  Copy full SHA for 226f971

• Improved standard library

  zesterer

  committed
  0ebf32b

  Copy full SHA for 0ebf32b

• Flatten immediately-invoked effects

  zesterer

  committed
  914be34

  Copy full SHA for 914be34

• Temporary hack to fix HIR effect lowering

  zesterer

  committed
  f626f5d

  Copy full SHA for f626f5d

Commits on Jun 27, 2023

• Make coherence checker (hopefully) sound

  zesterer

  committed
  d5a20a3

  Copy full SHA for d5a20a3

• Added coherence checker

  zesterer

  committed
  cf64570

  Copy full SHA for cf64570

• Updated README

  zesterer

  committed
  46391b2

  Copy full SHA for 46391b2

• One-way effect sets, relaxed backend effect propagation, make stream effects combine

  zesterer

  committed
  61d3be5

  Copy full SHA for 61d3be5

• Fixed examples

  zesterer

  committed
  6718af9

  Copy full SHA for 6718af9

• Made quickcheck example type-check

  zesterer

  committed
  effe904

  Copy full SHA for effe904

Pagination

Previous

Next