Commits

Branch selector

 master

User selector

edwinb

Datepicker

All time

Commit History

Commits on Nov 26, 2020

• Merge pull request #16 from ShinKage/disable-color

  Show description for 964cebe
  edwinb

  authored
  964cebe

  Copy full SHA for 964cebe

Commits on May 25, 2020

• Merge pull request #8 from ShinKage/idris2-syntax

  Show description for 099129e
  edwinb

  authored
  099129e

  Copy full SHA for 099129e

• Merge pull request #7 from buzden/further-secondification

  Show description for 2f1a013
  edwinb

  authored
  2f1a013

  Copy full SHA for 2f1a013

• Merge pull request #5 from neriglissar/neriglissar/fix-IdrisReload

  Show description for 7254ad0
  edwinb

  authored
  7254ad0

  Copy full SHA for 7254ad0

Commits on May 15, 2020

• Merge pull request #4 from ShinKage/path-escape

  Show description for b057b73
  edwinb

  authored
  b057b73

  Copy full SHA for b057b73

Commits on Mar 31, 2020

• Merge pull request #2 from ziman/absolute-paths

  Show description for 0fd4094
  edwinb

  authored
  0fd4094

  Copy full SHA for 0fd4094

Commits on Mar 10, 2020

• Merge pull request #1 from mrkgnao/patch-1

  Show description for 9333d92
  edwinb

  authored
  9333d92

  Copy full SHA for 9333d92

Commits on Feb 23, 2020

• Add --find-ipkg flag

  Show description for 7a0b10d
  edwinb

  committed
  7a0b10d

  Copy full SHA for 7a0b10d

Commits on Feb 22, 2020

• More README fixes

  edwinb

  committed
  0db674f

  Copy full SHA for 0db674f

• Update README slightly

  edwinb

  committed
  16eaa95

  Copy full SHA for 16eaa95

• Rename to idris2

  edwinb

  committed
  2d3f31d

  Copy full SHA for 2d3f31d

• Initial version

  Show description for e3816a7
  edwinb

  committed
  e3816a7

  Copy full SHA for e3816a7