Commits

Branch selector

 master

User selector

soimort

Datepicker

All time

Commit History

Commits on Apr 14, 2015

• Update tests to reflect the change of idris_readStr

  soimort

  committed
  c9a05f4

  Copy full SHA for c9a05f4

• Fix readFile implementation

  soimort

  committed
  d2074d8

  Copy full SHA for d2074d8

• Update docstring of getLine

  soimort

  committed
  c784840

  Copy full SHA for c784840

Commits on Apr 13, 2015

• rts: fix unreachable free(buffer)

  soimort

  committed
  b9190ca

  Copy full SHA for b9190ca

• Remove newline character from the result of getline.

  Show description for 1cb10f9
  soimort

  committed
  1cb10f9

  Copy full SHA for 1cb10f9

Commits on Jan 23, 2015

• Support module import in IDESlave

  soimort

  committed
  8ecdf60

  Copy full SHA for 8ecdf60

Commits on Nov 21, 2014

• Indicate the end of each escape sequence in the prompt string, since there's no way for Haskeline to detect it automatically.

  Show description for ef1bd24
  soimort

  committed
  ef1bd24

  Copy full SHA for ef1bd24

Commits on Nov 20, 2014

• Ignore leading spaces in REPL

  Show description for 1efff98
  soimort

  committed
  1efff98

  Copy full SHA for 1efff98

• Fix typo in REPL.hs

  soimort

  committed
  bf40078

  Copy full SHA for bf40078

• Clean up .gitignore (tutorial/ removed)

  soimort

  committed
  2fcd41c

  Copy full SHA for 2fcd41c

Commits on Oct 28, 2014

• Add missing case in checkUniqueKind (fixed idris-lang#1606)

  soimort

  committed
  c953ff0

  Copy full SHA for c953ff0

Commits on Oct 21, 2014

• Add missing case in runIdeSlaveCommand (fixed idris-lang#1668)

  soimort

  committed
  6f5a244

  Copy full SHA for 6f5a244

Commits on Sep 12, 2014

• Fix typo in help message (language extension)

  soimort

  committed
  b46ba07

  Copy full SHA for b46ba07

Commits on Sep 3, 2014

• Support uniqueness types when executing IO actions in REPL

  soimort

  committed
  0200b44

  Copy full SHA for 0200b44