Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 21, 2020

• cleanup: no Latex pretty-printint

  ilya-klyuchnikov

  committed
  780c741

  Copy full SHA for 780c741

• more readable parsing through template haskell

  ilya-klyuchnikov

  committed
  291db30

  Copy full SHA for 291db30

• better README

  ilya-klyuchnikov

  committed
  b8fb67c

  Copy full SHA for b8fb67c

• dependencies: more precise base

  ilya-klyuchnikov

  committed
  f1e9a93

  Copy full SHA for f1e9a93

• github actions

  ilya-klyuchnikov

  committed
  3f28fc2

  Copy full SHA for 3f28fc2

Commits on Nov 20, 2020

• using stack

  ilya-klyuchnikov

  committed
  9b29e43

  Copy full SHA for 9b29e43

Commits on Aug 12, 2018

• cosmetic: tabs -> spaces

  ilya-klyuchnikov

  committed
  30993c2

  Copy full SHA for 30993c2

Commits on Feb 7, 2014

• cosmetic: removing trailing spaces

  ilya-klyuchnikov

  committed
  71388c1

  Copy full SHA for 71388c1

Commits on May 13, 2013

• update imports to match the latest haskell platform

  

  Ilya Klyuchnikov

  committed
  fa7ac6b

  Copy full SHA for fa7ac6b

Commits on Mar 11, 2011

• polishing just for "pretty-printing"

  ilya-klyuchnikov

  committed
  6adc881

  Copy full SHA for 6adc881

• tree interpreter interprets fold in a right way now

  ilya-klyuchnikov

  committed
  c6a081a

  Copy full SHA for c6a081a

Commits on Mar 7, 2011

• small improvement

  ilya-klyuchnikov

  committed
  dce1b8e

  Copy full SHA for dce1b8e

• as in the paper

  ilya-klyuchnikov

  committed
  a61863a

  Copy full SHA for a61863a

• small refactoring

  ilya-klyuchnikov

  committed
  b80adbe

  Copy full SHA for b80adbe

Commits on Mar 6, 2011

• subst => (//)

  ilya-klyuchnikov

  committed
  198da26

  Copy full SHA for 198da26

Commits on Mar 5, 2011

• a bit on theorem proving

  ilya-klyuchnikov

  committed
  bda93fd

  Copy full SHA for bda93fd

Commits on Mar 2, 2011

• almost finalized

  ilya-klyuchnikov

  committed
  4264cfd

  Copy full SHA for 4264cfd

• ad hoc "pretty-printing" and conversion to latex for examples in

  Show description for 84050df
  ilya-klyuchnikov

  committed
  84050df

  Copy full SHA for 84050df

Commits on Mar 1, 2011

• demonstrations + "benchmarks"

  ilya-klyuchnikov

  committed
  825844a

  Copy full SHA for 825844a

• show + generate are agreed

  ilya-klyuchnikov

  committed
  a3838ec

  Copy full SHA for a3838ec

• more logical representation for variants

  ilya-klyuchnikov

  committed
  a1c0738

  Copy full SHA for a1c0738

• code polishing

  ilya-klyuchnikov

  committed
  ad357e9

  Copy full SHA for ad357e9

• buildMachine => driveMachine

  ilya-klyuchnikov

  committed
  18edc2d

  Copy full SHA for 18edc2d

Commits on Feb 28, 2011

• sync with paper

  ilya-klyuchnikov

  committed
  403282b

  Copy full SHA for 403282b

• big-step semantics

  ilya-klyuchnikov

  committed
  dd3c263

  Copy full SHA for dd3c263

• moving all utilities into DataUtil

  ilya-klyuchnikov

  committed
  950b0e2

  Copy full SHA for 950b0e2

• more explicit folding

  ilya-klyuchnikov

  committed
  d97bafc

  Copy full SHA for d97bafc

• clarification

  ilya-klyuchnikov

  committed
  8e9ac3d

  Copy full SHA for 8e9ac3d

• new (higher) level of abstraction

  ilya-klyuchnikov

  committed
  3634155

  Copy full SHA for 3634155

• small polishing of generalization

  ilya-klyuchnikov

  committed
  79acc5a

  Copy full SHA for 79acc5a

• refactoring: FFun => FDef, GFun => GDef

  ilya-klyuchnikov

  committed
  4a93251

  Copy full SHA for 4a93251

• tuning whistle

  ilya-klyuchnikov

  committed
  80e106c

  Copy full SHA for 80e106c

• explicit state machine; implicit name supply;

  ilya-klyuchnikov

  committed
  b15d626

  Copy full SHA for b15d626

• small clarifications

  ilya-klyuchnikov

  committed
  24eb3bd

  Copy full SHA for 24eb3bd

• Let x e1 e2 -> Let (x, e1) e2; Interpreter clarifications;

  ilya-klyuchnikov

  committed
  2a84c0c

  Copy full SHA for 2a84c0c

Pagination

Previous

Next