Code

A new implementation in Lean 4#672

Code

Open

loredanacirstea wants to merge 39 commits intokanaka:masterkanaka/mal:masterfrom loredanacirstea:lean4loredanacirstea/mal:lean4Copy head branch name to clipboard

+4,346-1

Commits

Commits on Aug 21, 2024

• lean: step0_repl

  loredanacirstea

  committed
  0a61b05

  Copy full SHA for 0a61b05

Commits on Aug 22, 2024

• lean: step1_read_print

  loredanacirstea

  committed
  634252f

  Copy full SHA for 634252f

• lean: step2_eval

  loredanacirstea

  committed
  8cb7119

  Copy full SHA for 8cb7119

• lean: step3_env

  loredanacirstea

  committed
  925d874

  Copy full SHA for 925d874

• lean: step4_if_fn_do

  loredanacirstea

  committed
  aa105c5

  Copy full SHA for aa105c5

• lean: step5_tco

  loredanacirstea

  committed
  ec3ea5e

  Copy full SHA for ec3ea5e

Commits on Aug 23, 2024

• lean: step6_file

  loredanacirstea

  committed
  2822308

  Copy full SHA for 2822308

• lean: step7_quote

  loredanacirstea

  committed
  561bf88

  Copy full SHA for 561bf88

• lean: step8_macros

  loredanacirstea

  committed
  ce1722b

  Copy full SHA for ce1722b

Commits on Aug 24, 2024

• lean: step9_try

  loredanacirstea

  committed
  bce13d4

  Copy full SHA for bce13d4

• lean: stepA_mal

  loredanacirstea

  committed
  a6070e5

  Copy full SHA for a6070e5

• lean: fixes

  loredanacirstea

  committed
  533ea11

  Copy full SHA for 533ea11

• lean: fixes

  loredanacirstea

  committed
  ae02059

  Copy full SHA for ae02059

Commits on Aug 26, 2024

• refactor Env, add environment levels, redo steps 1-4

  loredanacirstea

  committed
  286461a

  Copy full SHA for 286461a

• replacing Dict -> Env steps 5-10

  loredanacirstea

  committed
  347410c

  Copy full SHA for 347410c

• refactor step 5

  loredanacirstea

  committed
  359bf52

  Copy full SHA for 359bf52

• lean: refactor step6

  loredanacirstea

  committed
  aef3b16

  Copy full SHA for aef3b16

• lean: refactor step 7

  loredanacirstea

  committed
  32fd818

  Copy full SHA for 32fd818

• lean: refactor step 8

  loredanacirstea

  committed
  bde987c

  Copy full SHA for bde987c

• lean: refactor step 9

  loredanacirstea

  committed
  550bd47

  Copy full SHA for 550bd47

• lean: refactor stepA

  loredanacirstea

  committed
  45e3fd4

  Copy full SHA for 45e3fd4

• lean: eval function fixes

  loredanacirstea

  committed
  d800351

  Copy full SHA for d800351

• lean: fix conj

  loredanacirstea

  committed
  ca9d2c3

  Copy full SHA for ca9d2c3

• add *ARGV*

  loredanacirstea

  committed
  562f84e

  Copy full SHA for 562f84e

• lean: cli args & main loop changes

  loredanacirstea

  committed
  ed09a9d

  Copy full SHA for ed09a9d

• replace Except with IO

  loredanacirstea

  committed
  a326937

  Copy full SHA for a326937

• use IO

  loredanacirstea

  committed
  3e48bef

  Copy full SHA for 3e48bef

• use IO, refactor step2

  loredanacirstea

  committed
  4115533

  Copy full SHA for 4115533

• use IO, refactor step 3

  loredanacirstea

  committed
  707cc91

  Copy full SHA for 707cc91

• use IO, refactor step 4

  loredanacirstea

  committed
  497c135

  Copy full SHA for 497c135

• IO refactor: step 5

  loredanacirstea

  committed
  1c5c2d5

  Copy full SHA for 1c5c2d5

Commits on Aug 27, 2024

• IO refactor: step6

  loredanacirstea

  committed
  2720ed6

  Copy full SHA for 2720ed6

• use IO, refactor step 7

  loredanacirstea

  committed
  ffe0ba6

  Copy full SHA for ffe0ba6

• use IO, refactor step 8

  loredanacirstea

  committed
  aa59b20

  Copy full SHA for aa59b20

• use IO, refactor step 9, A

  loredanacirstea

  committed
  795c52b

  Copy full SHA for 795c52b

Commits on Aug 28, 2024

• add Dockerfile, update IMPLS

  Show description for dbc9aa2
  loredanacirstea

  committed
  dbc9aa2

  Copy full SHA for dbc9aa2

Commits on Aug 29, 2024

• lean: eval fix, comment support

  loredanacirstea

  committed
  f736101

  Copy full SHA for f736101

Commits on Aug 30, 2024

• remove slow tag, ensure lean4 stable

  loredanacirstea

  committed
  25bb6e9

  Copy full SHA for 25bb6e9

• lean: simplify main

  Show description for 94425f8
  loredanacirstea

  committed
  94425f8

  Copy full SHA for 94425f8