Commits

Branch selector

 master

User selector

All users

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 Aug 20, 2020

• Disable color and minor syntax additions

  ShinKage

  committed
  20f025a

  Copy full SHA for 20f025a

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 22, 2020

• Added %tcinline pragma

  ShinKage

  committed
  05cdd9f

  Copy full SHA for 05cdd9f

Commits on May 19, 2020

• Updated idris2 syntax highlighting

  ShinKage

  committed
  2013a71

  Copy full SHA for 2013a71

• Further "Idris" -> "Idris 2" renamings were done

  buzden

  committed
  874495a

  Copy full SHA for 874495a

Commits on May 17, 2020

• [Fix] E121: Undefined variable: file in IdrisReload

  neriglissar

  committed
  5f31ebb

  Copy full SHA for 5f31ebb

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

• Escape the paths passed to idris2

  ShinKage

  committed
  bd97999

  Copy full SHA for bd97999

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 29, 2020

• Use absolute paths to invoke Idris2.

  ziman

  committed
  8a8c94d

  Copy full SHA for 8a8c94d

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

• fix references to idris1(-mode)

  mrkgnao

  authored
  a1ea598

  Copy full SHA for a1ea598

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