Commits

Branch selector

 master

User selector

All users

All time

Commit history

Commits on Jul 30, 2017

• Merge pull request #13 from robrix/fix-data-constructor-typing

  Show description for 34873fb
  

  Rob Rix

  authored
  34873fb

  Copy full SHA for 34873fb

• Infer the types of free variables in constructors.

  robrix

  committed
  ec44918

  Copy full SHA for ec44918

• Tighten up the assumption of type variables.

  robrix

  committed
  e27fee5

  Copy full SHA for e27fee5

• :fire: the extra annotations on vnil & vcons.

  robrix

  committed
  74be3d8

  Copy full SHA for 74be3d8

• Dedent runCommand.

  robrix

  committed
  c4daad8

  Copy full SHA for c4daad8

• Merge pull request #12 from robrix/quantitative-type-theory

  Show description for aee3736
  

  Rob Rix

  authored
  aee3736

  Copy full SHA for aee3736

• Define a function to scale a context over a Semiring.

  robrix

  committed
  a152bc3

  Copy full SHA for a152bc3

• Define a Bifunctor instance for Constraint.

  robrix

  committed
  60abbe8

  Copy full SHA for 60abbe8

• Define a Bifunctor instance for TypeConstraint.

  robrix

  committed
  7be4f4c

  Copy full SHA for 7be4f4c

• Define a Bifunctor instance for DefinitionConstraint.

  robrix

  committed
  fdae962

  Copy full SHA for fdae962

• Use the same annotation type everywhere.

  robrix

  committed
  47f9e88

  Copy full SHA for 47f9e88

• Parameterize Proof by the annotation type.

  robrix

  committed
  90c0c02

  Copy full SHA for 90c0c02

• Generalize the Pretty1 & Eq1 instances.

  robrix

  committed
  e6ade60

  Copy full SHA for e6ade60

• Parameterize ProofF by the annotation type.

  robrix

  committed
  2fee2c6

  Copy full SHA for 2fee2c6

• Parameterize Extension by the annotation type.

  robrix

  committed
  0f38469

  Copy full SHA for 0f38469

• Define a Semiring instance for ().

  robrix

  committed
  3a28cb6

  Copy full SHA for 3a28cb6

• Parameterize ProofState by the annotation type.

  robrix

  committed
  0575ed8

  Copy full SHA for 0575ed8

• Parameterize Suffix by the annotation type.

  robrix

  committed
  31070be

  Copy full SHA for 31070be

• Parameterize DefinitionConstraint by the annotation type.

  robrix

  committed
  a5956f2

  Copy full SHA for a5956f2

• Require a Pretty instance for annotations.

  robrix

  committed
  7dbe022

  Copy full SHA for 7dbe022

• Give TypeConstraint an annotation type parameter.

  robrix

  committed
  f6cc1df

  Copy full SHA for f6cc1df

• Parameterize Context by the annotation type.

  robrix

  committed
  13ef3cc

  Copy full SHA for 13ef3cc

• Give Constraint a type parameter representing annotations.

  robrix

  committed
  d4cd7d6

  Copy full SHA for d4cd7d6

• Define a MonadFail instance for Proof.

  robrix

  committed
  b07312f

  Copy full SHA for b07312f

• Sort imports.

  robrix

  committed
  1706f41

  Copy full SHA for 1706f41

• Reindent ==>.

  robrix

  committed
  72a277f

  Copy full SHA for 72a277f

• Define a MonadState instance for Proof.

  robrix

  committed
  26124fa

  Copy full SHA for 26124fa

• Parameterize Extension by the type of the suffix.

  robrix

  committed
  6ab4722

  Copy full SHA for 6ab4722

• Generalize <><.

  robrix

  committed
  fffdc68

  Copy full SHA for fffdc68

• Parameterize Context by the right-hand side.

  robrix

  committed
  db4d2cc

  Copy full SHA for db4d2cc

• Parameterize the Suffix type synonym.

  robrix

  committed
  a75bd15

  Copy full SHA for a75bd15

• Derive Foldable, Functor, & Traversable instances for constraints.

  robrix

  committed
  66a272e

  Copy full SHA for 66a272e

• Parameterize Constraint by the right-hand side.

  robrix

  committed
  0da49eb

  Copy full SHA for 0da49eb

• Parameterize DefinitionConstraint by the right-hand side.

  robrix

  committed
  7a600fb

  Copy full SHA for 7a600fb

• Parameterize TypeConstraint by the right-hand side.

  robrix

  committed
  c1f9a77

  Copy full SHA for c1f9a77