Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jun 3, 2021

• update vscode readme

  daanx

  committed
  833c1ce

  Copy full SHA for 833c1ce

• update vscode mode further

  daanx

  committed
  14507e0

  Copy full SHA for 14507e0

• set tabsize to 2 by default for koka in vscode

  daanx

  committed
  bd920d2

  Copy full SHA for bd920d2

• extend syntax readme

  daanx

  committed
  ff54ac1

  Copy full SHA for ff54ac1

• update syntax support for vscode further for easier customization

  daanx

  committed
  d4995e2

  Copy full SHA for d4995e2

Commits on Jun 2, 2021

• update vscode syntax support installation

  daanx

  committed
  4bd5c99

  Copy full SHA for 4bd5c99

• update syntax for vscode

  daanx

  committed
  4634f43

  Copy full SHA for 4634f43

Commits on Jun 1, 2021

• update vscode syntax highlighting

  daanx

  committed
  b3f51f8

  Copy full SHA for b3f51f8

• update koka syntax highlighting for vscode

  daanx

  committed
  2acde8c

  Copy full SHA for 2acde8c

Commits on May 4, 2021

• initial support for C library linking; change extern include syntax

  daanx

  committed
  bac9ec9

  Copy full SHA for bac9ec9

Commits on May 1, 2021

• Resolve VS Code extension not starting

  

  ToucheSir

  authored and

  daanx

  committed
  3affe33

  Copy full SHA for 3affe33

• Add emacs support

  

  kamoii

  authored and

  daanx

  committed
  573f3f1

  Copy full SHA for 573f3f1

Commits on Nov 28, 2020

• rename

  daanx

  committed
  fc7eeee

  Copy full SHA for fc7eeee

• update atom and vscode styles

  daanx

  committed
  8dd7cbf

  Copy full SHA for 8dd7cbf

• initial vscode syntax highlighting

  daanx

  committed
  d2b3282

  Copy full SHA for d2b3282

Commits on Nov 24, 2020

• update atom grammar with scoped

  daanx

  committed
  feb7e47

  Copy full SHA for feb7e47

Commits on Nov 11, 2020

• add support for initially/finally

  daanx

  committed
  7d69210

  Copy full SHA for 7d69210

Commits on Nov 10, 2020

• use 'public' again, improve grammar with co type and rec type/effect

  daanx

  committed
  c39abe6

  Copy full SHA for c39abe6

• rename public to pub

  daanx

  committed
  c23a15a

  Copy full SHA for c23a15a

Commits on Nov 9, 2020

• add initial code samples

  daanx

  committed
  9570a9a

  Copy full SHA for 9570a9a

Commits on Oct 24, 2020

• add except to atom support

  daanx

  committed
  b2af877

  Copy full SHA for b2af877

Commits on Sep 21, 2020

• update atom style for linear

  daanx

  committed
  4d15733

  Copy full SHA for 4d15733

• better atom support; add context keyword

  daanx

  committed
  3dc3d8d

  Copy full SHA for 3dc3d8d

Commits on Sep 20, 2020

• update grammar spec

  daanx

  committed
  8fa69d0

  Copy full SHA for 8fa69d0

Commits on Aug 24, 2020

• merge from dev-ev

  daanx

  committed
  925bf1a

  Copy full SHA for 925bf1a

• merge from dev

  daanx

  committed
  18d4a4b

  Copy full SHA for 18d4a4b

Commits on May 28, 2020

• wip: working towards compile std/core for C

  daanx

  committed
  88e2411

  Copy full SHA for 88e2411

Commits on Apr 19, 2020

• update koka atom style

  daanx

  committed
  75f09a0

  Copy full SHA for 75f09a0

Commits on Mar 2, 2020

• add context as an alternative keyword for ambient

  daanx

  committed
  ad375f8

  Copy full SHA for ad375f8

Commits on Apr 17, 2019

• improved shallow resume; real heap with free!

  daanx

  committed
  d493cb2

  Copy full SHA for d493cb2

• support shallow resumption through 'resume-shallow'

  daanx

  committed
  811cc46

  Copy full SHA for 811cc46

Commits on Mar 27, 2019

• fix bug in linearity detection of ambient functions

  daanx

  committed
  4f7a92f

  Copy full SHA for 4f7a92f

Commits on Mar 11, 2019

• allow mask in with statement

  daanx

  committed
  314c22c

  Copy full SHA for 314c22c

Commits on Mar 7, 2019

• add mask keyword for inject

  daanx

  committed
  71da343

  Copy full SHA for 71da343

• update syntax for implicits and with; work in progress

  daanx

  committed
  5da6e83

  Copy full SHA for 5da6e83