Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 16, 2017

• Clean up unused imports (idris-lang#4065)

  

  eraserhd

  authored and

  Ahmad Salim Al-Sibahi

  committed
  d4bd8e6

  Copy full SHA for d4bd8e6

• Fix for commit in Text.Parser

  Show description for be8523f
  edwinb

  committed
  be8523f

  Copy full SHA for be8523f

• Merge pull request idris-lang#4062 from steshaw/private-functions

  Show description for 07b7138
  edwinb

  authored
  07b7138

  Copy full SHA for 07b7138

• Merge pull request idris-lang#4058 from msmorgan/feature/parser-functor

  Show description for 613c962
  edwinb

  authored
  613c962

  Copy full SHA for 613c962

• Merge pull request idris-lang#4031 from msmorgan/feature/lexer-quantifiers

  Show description for c5128cb
  edwinb

  authored
  c5128cb

  Copy full SHA for c5128cb

• Merge pull request idris-lang#4053 from msmorgan/bugfix/lexer-reject-eof

  Show description for d9a1c9d
  edwinb

  authored
  d9a1c9d

  Copy full SHA for d9a1c9d

• Merge pull request idris-lang#4045 from msmorgan/feature/lexer-manyThen

  Show description for a22feaa
  edwinb

  authored
  a22feaa

  Copy full SHA for a22feaa

Commits on Sep 13, 2017

• Expose @ patterns to where functions (idris-lang#4057)

  Show description for f436c5f
  

  eraserhd

  authored and

  Ahmad Salim Al-Sibahi

  committed
  f436c5f

  Copy full SHA for f436c5f

Commits on Sep 12, 2017

• Merge pull request idris-lang#4068 from RyanGlScott/master

  Show description for a071dab
  

  Ahmad Salim Al-Sibahi

  authored
  a071dab

  Copy full SHA for a071dab

Commits on Sep 11, 2017

• Add Paths_idris to other-modules of codegen executables

  RyanGlScott

  committed
  bfee5e6

  Copy full SHA for bfee5e6

Commits on Sep 8, 2017

• Tweak coding style.

  Show description for b571e63
  steshaw

  committed
  b571e63

  Copy full SHA for b571e63

• Remove FIXME.

  Show description for 20236a9
  steshaw

  committed
  20236a9

  Copy full SHA for 20236a9

• Improve interactive018.

  Show description for 319166c
  steshaw

  committed
  319166c

  Copy full SHA for 319166c

• Code style tweak

  steshaw

  committed
  8f6f9af

  Copy full SHA for 8f6f9af

• Merge pull request idris-lang#4054 from mdimjasevic/fix/master/issue-3883

  Show description for b8a0ac1
  

  Ahmad Salim Al-Sibahi

  authored
  b8a0ac1

  Copy full SHA for b8a0ac1

Commits on Sep 7, 2017

• Issue idris-lang#3883: Updated messages according to @ahmadsalim

  mdimjasevic

  committed
  f17a3b6

  Copy full SHA for f17a3b6

Commits on Sep 6, 2017

• Text.Lexer: deprecate manyTill

  Show description for 828de62
  msmorgan

  committed
  828de62

  Copy full SHA for 828de62

• Text.Lexer: add newline and comment lexers

  Show description for 7c2148d
  msmorgan

  committed
  7c2148d

  Copy full SHA for 7c2148d

• Text.Lexer: add manyUntil and manyThen

  Show description for 7e604f8
  msmorgan

  committed
  7e604f8

  Copy full SHA for 7e604f8

• Text.Lexer: fix behavior of surround

  Show description for 82a82ab
  msmorgan

  committed
  82a82ab

  Copy full SHA for 82a82ab

• Text.Lexer: refactoring

  msmorgan

  committed
  0482a74

  Copy full SHA for 0482a74

• Text.Parser: implement Functor (Grammar tok c)

  Show description for 3559deb
  msmorgan

  committed
  3559deb

  Copy full SHA for 3559deb

• Disable interactive017 (again).

  Show description for 1f1155c
  steshaw

  committed
  1f1155c

  Copy full SHA for 1f1155c

• Tweak for stylish-haskell

  steshaw

  committed
  6e66041

  Copy full SHA for 6e66041

• Prevent private functions showing up in autocomplete and :t.

  Show description for 5950e1e
  steshaw

  committed
  5950e1e

  Copy full SHA for 5950e1e

Commits on Sep 5, 2017

• Fixed issue idris-lang#3883

  Show description for 6ea3989
  mdimjasevic

  committed
  6ea3989

  Copy full SHA for 6ea3989

• Text.Lexer: add quantified lexer combinators

  Show description for d36f5e9
  msmorgan

  committed
  d36f5e9

  Copy full SHA for d36f5e9

• Text.Lexer: improve choice

  Show description for 6739b01
  msmorgan

  committed
  6739b01

  Copy full SHA for 6739b01

Commits on Sep 4, 2017

• Text.Lexer: fix reject behavior at end-of-input

  Show description for a1ac9a2
  msmorgan

  committed
  a1ac9a2

  Copy full SHA for a1ac9a2

• Merge pull request idris-lang#4039 from msmorgan/feature/lexer-case-insensitive

  Show description for f925538
  jfdm

  authored
  f925538

  Copy full SHA for f925538

• Merge pull request idris-lang#4052 from msmorgan/bugfix/lexer-export-non

  Show description for 891998f
  jfdm

  authored
  891998f

  Copy full SHA for 891998f

• Text.Lexer: add like and approx for case-insensitivity

  Show description for 8c4286e
  msmorgan

  committed
  8c4286e

  Copy full SHA for 8c4286e

• Text.Lexer: export non

  Show description for 3ace2dd
  msmorgan

  committed
  3ace2dd

  Copy full SHA for 3ace2dd

Commits on Sep 3, 2017

• Add (broken) test case for "private functions"

  steshaw

  committed
  f047221

  Copy full SHA for f047221

• Text.Lexer: move exact so it's with other basic ops

  msmorgan

  committed
  00dc543

  Copy full SHA for 00dc543

Pagination

Previous

Next