Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 29, 2016

• Merge pull request idris-lang#3563 from Synthetica9/Iso_Category

  Show description for 1a4c80a
  david-christiansen

  authored
  1a4c80a

  Copy full SHA for 1a4c80a

• Merge pull request idris-lang#3597 from david-christiansen/issue/idris-mode/427

  Show description for 6cb5714
  david-christiansen

  authored
  6cb5714

  Copy full SHA for 6cb5714

• Merge pull request idris-lang#3595 from yurrriq/improve-induction-error-message

  Show description for eb94a03
  david-christiansen

  authored
  eb94a03

  Copy full SHA for eb94a03

• Use same format in IDE mode for hole types as REPL

  Show description for a573876
  david-christiansen

  committed
  a573876

  Copy full SHA for a573876

• Improve Pruviloj.Induction.induction error message

  Show description for 22bd91a
  yurrriq

  committed
  22bd91a

  Copy full SHA for 22bd91a

Commits on Dec 23, 2016

• Deal with bound variables in recoverableCoverage

  Show description for 24c796a
  edwinb

  committed
  24c796a

  Copy full SHA for 24c796a

Commits on Dec 21, 2016

• Merge pull request idris-lang#3589 from jfdm/bump-stack

  Show description for 5fb91af
  jfdm

  authored
  5fb91af

  Copy full SHA for 5fb91af

• Merge pull request idris-lang#3588 from jfdm/fix-testing

  Show description for 2168db7
  jfdm

  authored
  2168db7

  Copy full SHA for 2168db7

• Merge pull request idris-lang#3590 from justjoheinz/patch-3

  Show description for 327d2f0
  jfdm

  authored
  327d2f0

  Copy full SHA for 327d2f0

• Provide an example of idris example

  Show description for 76e0282
  justjoheinz

  authored
  76e0282

  Copy full SHA for 76e0282

• Bump to latest LTS Haskell 7.14.

  

  Jan de Muijnck-Hughes

  committed
  2e080f9

  Copy full SHA for 2e080f9

• Check for node when running test suite.

  Show description for 5f54e5a
  

  Jan de Muijnck-Hughes

  committed
  5f54e5a

  Copy full SHA for 5f54e5a

Commits on Dec 20, 2016

• Check linear types in binders are valid

  Show description for ad13438
  edwinb

  committed
  ad13438

  Copy full SHA for ad13438

• Check linearity of functions

  Show description for 89dd6ae
  edwinb

  committed
  89dd6ae

  Copy full SHA for 89dd6ae

Commits on Dec 19, 2016

• Need to evaluate when finding linear args

  Show description for 1a1176d
  edwinb

  committed
  1a1176d

  Copy full SHA for 1a1176d

Commits on Dec 18, 2016

• Check for linearity of constructors

  Show description for fb185aa
  edwinb

  committed
  fb185aa

  Copy full SHA for fb185aa

• Add linear Lam

  Show description for a5033e7
  edwinb

  committed
  a5033e7

  Copy full SHA for a5033e7

• Check multiplicities on RigCounts

  edwinb

  committed
  1e3651f

  Copy full SHA for 1e3651f

• Add RigCount to pattern bindings

  Show description for 2f3c9a5
  edwinb

  committed
  2f3c9a5

  Copy full SHA for 2f3c9a5

Commits on Dec 17, 2016

• Syntax for linear arguments

  Show description for 491633b
  edwinb

  committed
  491633b

  Copy full SHA for 491633b

• Add RigCount to PPi/Plicity

  Show description for 488c5b7
  edwinb

  committed
  488c5b7

  Copy full SHA for 488c5b7

• Add 'RigCount' to Pi and PVar

  Show description for e1c210b
  edwinb

  committed
  e1c210b

  Copy full SHA for e1c210b

• Add RigCount to environment

  edwinb

  committed
  e3daf28

  Copy full SHA for e3daf28

Commits on Dec 13, 2016

• Merge pull request idris-lang#3574 from jfdm/tidy-reporting

  Show description for 17f0899
  jfdm

  authored
  17f0899

  Copy full SHA for 17f0899

• Merge pull request idris-lang#3568 from rizo/patch-1

  Show description for 2e7a841
  jfdm

  authored
  2e7a841

  Copy full SHA for 2e7a841

• Improved User facing progress reporting.

  Show description for 7f0a137
  

  Jan de Muijnck-Hughes

  committed
  7f0a137

  Copy full SHA for 7f0a137

Commits on Dec 12, 2016

• Merge pull request idris-lang#3571 from jfdm/revert-verbosity

  Show description for ff2ed8b
  jfdm

  authored
  ff2ed8b

  Copy full SHA for ff2ed8b

• Fix for cyclic solutions in unifyProblems

  Show description for b79bf7b
  edwinb

  committed
  b79bf7b

  Copy full SHA for b79bf7b

• Errors for inspecting a _ in case/with

  Show description for 9eb843d
  edwinb

  committed
  9eb843d

  Copy full SHA for 9eb843d

• Reverted changes to verbosity reporting.

  

  Jan de Muijnck-Hughes

  committed
  cf61801

  Copy full SHA for cf61801

Commits on Dec 11, 2016

• Account for 'let' with unbound implicits

  Show description for 32c2467
  edwinb

  committed
  32c2467

  Copy full SHA for 32c2467

• Fix patvar naming for implicits

  Show description for 2196023
  edwinb

  committed
  2196023

  Copy full SHA for 2196023

Commits on Dec 10, 2016

• Add missing quotation marks for in

  rizo

  authored
  01e9953

  Copy full SHA for 01e9953

Commits on Dec 9, 2016

• Fix enumFromThenTo

  Show description for 7e93d70
  edwinb

  committed
  7e93d70

  Copy full SHA for 7e93d70

• Change evaluation of partial functions at REPL

  Show description for 4c4a07a
  edwinb

  committed
  4c4a07a

  Copy full SHA for 4c4a07a

Pagination

Previous

Next