Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Mar 10, 2023

• dlist example

  polux

  committed
  957920f

  Copy full SHA for 957920f

• more hlint

  polux

  committed
  5b37a82

  Copy full SHA for 5b37a82

• add .gitingore

  polux

  committed
  ce03895

  Copy full SHA for ce03895

• apply or ignore hlint

  polux

  committed
  77a1a3b

  Copy full SHA for 77a1a3b

Commits on Mar 6, 2023

• some more examples

  polux

  committed
  8242482

  Copy full SHA for 8242482

• Get rid of stack, make it compile with the latest libraries

  polux

  committed
  01acf04

  Copy full SHA for 01acf04

Commits on Sep 28, 2018

• add proper meta language parsing and evaluation

  polux

  committed
  81fd6b6

  Copy full SHA for 81fd6b6

• fix typo in CPS introduced by e054fb335c22e7aeba95ecf25da5ff1f8756f345

  polux

  committed
  10a2fd3

  Copy full SHA for 10a2fd3

Commits on Aug 30, 2018

• use rec and embed for fundefs

  polux

  committed
  ca734ba

  Copy full SHA for ca734ba

Commits on Aug 15, 2018

• use embed for let

  polux

  committed
  e054fb3

  Copy full SHA for e054fb3

Commits on Aug 9, 2018

• shorten the name of the constructors created by the defunctionalization

  polux

  committed
  97f03fb

  Copy full SHA for 97f03fb

• always break on clauses in the pretty-printer

  polux

  committed
  f061e43

  Copy full SHA for f061e43

• nicer apply function

  polux

  committed
  b2a6eba

  Copy full SHA for b2a6eba

Commits on Jul 26, 2018

• avoid duplicate rules in defunctionalization

  polux

  committed
  4b66371

  Copy full SHA for 4b66371

• pretty-print lists in values

  polux

  committed
  1153195

  Copy full SHA for 1153195

• eliminate unnecessary defunctionalization of toplevel functions

  polux

  committed
  aa2a8dc

  Copy full SHA for aa2a8dc

Commits on Jul 19, 2018

• pretty-print values

  polux

  committed
  f089bb9

  Copy full SHA for f089bb9

• add lambda calculus cbv small step structural operational semantics

  polux

  committed
  0dc6527

  Copy full SHA for 0dc6527

Commits on Jul 12, 2018

• remove dead code

  polux

  committed
  e8f08c5

  Copy full SHA for e8f08c5

• rename prog example to sl

  polux

  committed
  88214a4

  Copy full SHA for 88214a4

• style

  polux

  committed
  8fc0dee

  Copy full SHA for 8fc0dee

• initial commit

  polux

  committed
  f2492fc

  Copy full SHA for f2492fc