Permalink
Commits on Dec 2, 2016
  1. Remove for & while loops

    committed Dec 2, 2016
  2. Clean up SmartPrint

    committed Dec 2, 2016
Commits on Oct 12, 2016
Commits on Aug 2, 2016
  1. Make locations of typed term construcors optional

    If an explicit location is not given, it is approximated by the union
    of locations of subterms.
    committed Aug 2, 2016
Commits on Mar 30, 2016
  1. Merge branch 'eff-4' into browser

    # Conflicts:
    #   src/eff.ml
    #   src/runtime/value.mli
    #   src/typing/exhaust.ml
    #   src/utils-old/common.ml
    #   src/utils-old/common.mli
    committed Mar 30, 2016
Commits on Jan 6, 2016
  1. Add Scheme.simple

    committed Jan 6, 2016
Commits on Dec 22, 2015
Commits on Dec 15, 2015
Commits on Nov 9, 2015