Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Nov 20, 2016

• updated to ocaml 4.04.0 and fixed some warnings

  esope

  committed
  4560646

  Copy full SHA for 4560646

Commits on Sep 27, 2013

• upgraded to ocaml 4.01.0, fixed some warnings

  esope

  committed
  b0a0274

  Copy full SHA for b0a0274

Commits on Oct 20, 2012

• better pretty printing

  esope

  committed
  df66555

  Copy full SHA for df66555

Commits on Oct 19, 2012

• remove the use of '__' in default names

  esope

  committed
  eec004f

  Copy full SHA for eec004f

• better choice of names for bound variables

  esope

  committed
  cecf266

  Copy full SHA for cecf266

• emacs mode: missing keywords

  esope

  committed
  1387c78

  Copy full SHA for 1387c78

• fixed bug in emacs mode involving parentheses

  esope

  committed
  3339387

  Copy full SHA for 3339387

• upgraded to latest version of pprint

  esope

  committed
  28dc27d

  Copy full SHA for 28dc27d

• encoding of HOAS for the untyped lambda calculus, using recursive types

  esope

  committed
  31e0bf5

  Copy full SHA for 31e0bf5

Commits on Oct 18, 2012

• better syntax highlighting in emacs mode

  esope

  committed
  b2c6f71

  Copy full SHA for b2c6f71

• light changes in Makefile

  esope

  committed
  1b15b82

  Copy full SHA for 1b15b82

• improvements in README

  esope

  committed
  d09d861

  Copy full SHA for d09d861

• better at keeping user-provided names

  esope

  committed
  8f00001

  Copy full SHA for 8f00001

• better at keeping names provided by the user

  esope

  committed
  9fc22be

  Copy full SHA for 9fc22be

• sets and maps for bound variables

  esope

  committed
  a70c13c

  Copy full SHA for a70c13c

• better keeping of original names of bound variables

  esope

  committed
  17f78c5

  Copy full SHA for 17f78c5

• fixed functions that forgot to open some terms

  esope

  committed
  73043b1

  Copy full SHA for 73043b1

• playing with iso-recursive types, assuming the existence of fold and unfold

  esope

  committed
  a7398d7

  Copy full SHA for a7398d7

• whitespace cleanup

  esope

  committed
  1080282

  Copy full SHA for 1080282

• removed 'let' from the internal syntax tree (encoded with records and projection)

  esope

  committed
  0a3228f

  Copy full SHA for 0a3228f

• added internal bindings in value fields

  esope

  committed
  82f70fc

  Copy full SHA for 82f70fc

Commits on Oct 17, 2012

• fix in parser for terms

  esope

  committed
  bf5800f

  Copy full SHA for bf5800f

• example functions and witnesses on ordinals

  esope

  committed
  6bb5d61

  Copy full SHA for 6bb5d61

• added fold to naturals and ordinals

  esope

  committed
  4829dbd

  Copy full SHA for 4829dbd

• fixed bug in lexer that disallowed the use of multiple underscores

  esope

  committed
  efe692d

  Copy full SHA for efe692d

• encoding of countable ordinals

  esope

  committed
  ee9075c

  Copy full SHA for ee9075c

• simpler nat encoding

  esope

  committed
  ad6f8c6

  Copy full SHA for ad6f8c6

Commits on Sep 20, 2012

• README in Markdown format

  esope

  committed
  5ec4805

  Copy full SHA for 5ec4805

Commits on Sep 19, 2012

• switched to ocaml 4.00.0, cleaned up new warnings

  esope

  committed
  eae9b5c

  Copy full SHA for eae9b5c

Commits on Sep 14, 2012

• merge

  esope

  committed
  dd82a05

  Copy full SHA for dd82a05

• added another example (from Julien Cretin)

  esope

  committed
  b41bca7

  Copy full SHA for b41bca7

Commits on Dec 14, 2010

• example

  esope

  committed
  486b8ae

  Copy full SHA for 486b8ae

Commits on Dec 12, 2010

• example

  esope

  committed
  7d56693

  Copy full SHA for 7d56693

Commits on Dec 9, 2010

• examples

  esope

  committed
  b947287

  Copy full SHA for b947287

Commits on Nov 29, 2010

• another gadt example

  esope

  committed
  680c07c

  Copy full SHA for 680c07c