Code

Update flake and playground#84

Code

Merged

fizruk merged 29 commits intorzk-lang:developrzk-lang/rzk:developfrom deemp:developCopy head branch name to clipboardOct 1, 2023

+7,048-655

Commits

Commits on Sep 26, 2023

• add: rzk-playground

  deemp

  committed
  39f0b2f

  Copy full SHA for 39f0b2f

• move: try-rzk -> rzk-js

  deemp

  committed
  b5a1b02

  Copy full SHA for b5a1b02

• fix: update hs code for ghc 9.6.2

  deemp

  committed
  ef31534

  Copy full SHA for ef31534

• fix: update flake, refactor, add scripts

  deemp

  committed
  85ee750

  Copy full SHA for 85ee750

• fix: package name try-rzk -> rzk-js

  deemp

  committed
  eb8f054

  Copy full SHA for eb8f054

• fix: make direnv work without flakes

  deemp

  committed
  1d48d54

  Copy full SHA for 1d48d54

• fix: update paths and scripts in the ghcjs action

  deemp

  committed
  205622d

  Copy full SHA for 205622d

• add: gitignore artifacts

  deemp

  committed
  ef2408e

  Copy full SHA for ef2408e

• add: hls hie config

  deemp

  committed
  143808f

  Copy full SHA for 143808f

• fix: format README, update development instructions

  deemp

  committed
  54a9c18

  Copy full SHA for 54a9c18

• fix: create parent dir for rzk.js

  deemp

  committed
  91a5302

  Copy full SHA for 91a5302

• fix: scrolling

  Show description for bd99bf4
  deemp

  committed
  bd99bf4

  Copy full SHA for bd99bf4

• fix: scrollable area

  deemp

  committed
  4809cfa

  Copy full SHA for 4809cfa

• fix: use monokai colors

  deemp

  committed
  1845417

  Copy full SHA for 1845417

• add: rzk grammar for CodeMirror

  deemp

  committed
  c8f8c6c

  Copy full SHA for c8f8c6c

Commits on Sep 27, 2023

• fix: make it build

  deemp

  committed
  f9a97ca

  Copy full SHA for f9a97ca

• fix: skip newline

  deemp

  committed
  8d974bb

  Copy full SHA for 8d974bb

Commits on Sep 30, 2023

• fix: parsing

  deemp

  committed
  2fe3a1c

  Copy full SHA for 2fe3a1c

• add: highlighting

  deemp

  committed
  973cef3

  Copy full SHA for 973cef3

• move: usual.nix -> default.nix

  deemp

  committed
  208a70a

  Copy full SHA for 208a70a

• Merge remote-tracking branch 'upstream/develop' into develop

  deemp

  committed
  a837532

  Copy full SHA for a837532

• fix: don't clean playground directory on non-main

  deemp

  committed
  66fe61e

  Copy full SHA for 66fe61e

• fix: use patched lezer-generator

  deemp

  committed
  865ef6f

  Copy full SHA for 865ef6f

• fix: remove versions upper bounds

  deemp

  committed
  1ed093b

  Copy full SHA for 1ed093b

• fix: import

  deemp

  committed
  88d33bc

  Copy full SHA for 88d33bc

• fix: update package.lock

  deemp

  committed
  5e8a77d

  Copy full SHA for 5e8a77d

Commits on Oct 1, 2023

• Merge remote-tracking branch 'upstream/develop' into develop

  deemp

  committed
  1cd0126

  Copy full SHA for 1cd0126

• fix: import 'when'

  deemp

  committed
  3291cd0

  Copy full SHA for 3291cd0

• fix: stack setup and caching

  deemp

  committed
  c665828

  Copy full SHA for c665828