Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jan 4, 2021

• fix jakefile error

  

  anqur

  authored and

  daanx

  committed
  eb49a22

  Copy full SHA for eb49a22

Commits on Nov 8, 2020

• fix paths on windows to always use /; add docspec utility to generate documentation

  daanx

  committed
  4b98f6c

  Copy full SHA for 4b98f6c

Commits on Nov 7, 2020

• add grammar generation build script

  daanx

  committed
  5faa6fa

  Copy full SHA for 5faa6fa

Commits on Sep 21, 2020

• remove resume kinds and replace with operation sorts

  daanx

  committed
  1c49f56

  Copy full SHA for 1c49f56

Commits on Sep 19, 2020

• use layout everywhere; make tab illegal; use pre-keywords for value/inline/open/extend

  daanx

  committed
  9751d77

  Copy full SHA for 9751d77

Commits on Sep 18, 2020

• wip: changing grammar

  daanx

  committed
  48bcede

  Copy full SHA for 48bcede

Commits on Sep 17, 2020

• fix small issues to build the spec again

  daanx

  committed
  b93326f

  Copy full SHA for b93326f

Commits on Sep 9, 2020

• add initial template code for reuse specialization

  daanx

  committed
  e8ce036

  Copy full SHA for e8ce036

Commits on Aug 28, 2020

• more work on ctail optimization

  daanx

  committed
  1dfa03e

  Copy full SHA for 1dfa03e

Commits on Aug 24, 2020

• emit warning when using Jake

  daanx

  committed
  d638194

  Copy full SHA for d638194

• fix warnings; reenable build with jake

  daanx

  committed
  e345de3

  Copy full SHA for e345de3

Commits on Aug 8, 2020

• fix alloc-at type, fix showcore option for C backend

  daanx

  committed
  2603104

  Copy full SHA for 2603104

Commits on Aug 5, 2020

• update core javascript for ordering constructors

  daanx

  committed
  afcb1fe

  Copy full SHA for afcb1fe

Commits on Aug 4, 2020

• integrate new monadic lift from dev-ev branch

  daanx

  committed
  649ec2f

  Copy full SHA for 649ec2f

Commits on Aug 3, 2020

• initial support for linear monadic lifting preserving tailcalls

  daanx

  committed
  01dcc3e

  Copy full SHA for 01dcc3e

Commits on Jul 17, 2020

• move Parc.hs, run parc after box

  daanx

  committed
  e79da9e

  Copy full SHA for e79da9e

• working towards working dup/drop for pattern matches

  daanx

  committed
  e9a1dd2

  Copy full SHA for e9a1dd2

Commits on Jun 7, 2020

• add skeleton reference count module

  daanx

  committed
  88d4afe

  Copy full SHA for 88d4afe

Commits on May 26, 2020

• update javascript backend and hnd.kk to work again

  daanx

  committed
  4392ec0

  Copy full SHA for 4392ec0

Commits on May 20, 2020

• wip: improve matching in C backend

  daanx

  committed
  c19c43e

  Copy full SHA for c19c43e

Commits on May 18, 2020

• wip: separate box/unbox transformation

  daanx

  committed
  81b71dc

  Copy full SHA for 81b71dc

Commits on Apr 26, 2020

• wip: add proper value types

  daanx

  committed
  d9e4eff

  Copy full SHA for d9e4eff

Commits on Apr 25, 2020

• add C as a backend option

  daanx

  committed
  ccfa148

  Copy full SHA for ccfa148

Commits on Apr 16, 2020

• wip: updating to use exceptions as a regular effect

  daanx

  committed
  ec69297

  Copy full SHA for ec69297

Commits on Apr 9, 2020

• wip: inline pass is called

  daanx

  committed
  cf021e1

  Copy full SHA for cf021e1

Commits on Apr 8, 2020

• wip: initial checkin of lambda lifting

  daanx

  committed
  13ce2cf

  Copy full SHA for 13ce2cf

Commits on Apr 5, 2020

• initial bind translation

  daanx

  committed
  5657585

  Copy full SHA for 5657585

• initial open resolving

  daanx

  committed
  204d166

  Copy full SHA for 204d166

Commits on Apr 2, 2020

• change how generalization closes over the effect to allow polymorphic effect annotations

  daanx

  committed
  c21e45e

  Copy full SHA for c21e45e

Commits on Mar 21, 2020

• start on evidence translation

  daanx

  committed
  5507ca0

  Copy full SHA for 5507ca0

Commits on Jul 5, 2019

• add call to evidence translation phase

  daanx

  committed
  02fe10c

  Copy full SHA for 02fe10c

Commits on Apr 1, 2019

• add utc-sls support

  daanx

  committed
  5e14e22

  Copy full SHA for 5e14e22

Commits on Mar 28, 2019

• rename implicits to ambient examples

  daanx

  committed
  1789af7

  Copy full SHA for 1789af7

Commits on Mar 24, 2019

• merge

  daanx

  committed
  1129fda

  Copy full SHA for 1129fda

Commits on Mar 11, 2019

• work on grammar

  daanx

  committed
  9d7c5c0

  Copy full SHA for 9d7c5c0