Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Feb 23, 2015
  1. Clean up location management

    authored
    * we use the name location instead of position
      because the abbreviation "pos" may also be used
      for positive parameters in type inference 
    * locations are now implemented in a separate
      module
Commits on Feb 16, 2015
  1. Refresh README

    authored
    * Capitalize eff
    * increment required OCaml version
    * fix URLs
    * increment copyright year
Commits on Sep 28, 2014
Commits on Jun 20, 2014
  1. Added benchmark files.

    authored
Commits on May 7, 2014
Commits on Apr 8, 2014
Commits on Mar 28, 2014
Commits on Dec 27, 2013
  1. Replaced substitutions with lists.

    Matija Pretnar authored
  2. Added a special substitution used for skeleton expansion.

    Matija Pretnar authored
  3. We do not substitute constraints when finalizing.

    Matija Pretnar authored
  4. Moved Scheme.skeletons to ConstraintsTy.skeletons

    Matija Pretnar authored
  5. Renamed Core to Syntax.

    Matija Pretnar authored
  6. Renamed Syntax to SyntaxSugared.

    Matija Pretnar authored
  7. Renamed Desugar to SyntaxDesugar

    Matija Pretnar authored
  8. Reorganized constraints.

    Matija Pretnar authored
Commits on Dec 26, 2013
  1. Merge branch 'stable'

    Matija Pretnar authored
  2. Deleted .hgignore.

    Matija Pretnar authored
  3. Display of float infinity now matches OCaml 4.0

    Matija Pretnar authored
  4. Merge remote-tracking branch 'origin/master' into develop

    Matija Pretnar authored
    Conflicts:
    	src/constraints.ml
Commits on Dec 24, 2013
  1. Merge pull request #12 from andrejbauer/master

    authored
    Replace deprecated `or` with `||`
  2. @andrejbauer
  3. @andrejbauer
Commits on Dec 12, 2013
  1. Slightly improved garbage collection.

    Matija Pretnar authored
  2. Fixed a bug.

    Matija Pretnar authored
  3. Rewrote region bounds.

    Matija Pretnar authored
  4. Hid region bounds.

    Matija Pretnar authored
  5. Cleaned up Constraints

    Matija Pretnar authored
  6. Merged region_bounds into Region module.

    Matija Pretnar authored
  7. Specialized Graph to Region.

    Matija Pretnar authored
  8. Separated dirt and type graphs from region graphs.

    Matija Pretnar authored
Something went wrong with that request. Please try again.