git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
history of
ef45cdc..master
compare
7d731fb
Merge pull request #4038 from msmorgan/feature/lexer-range
Jan de Muijnck-Hughes
9 years ago
52c103f
Enable test interactive017.
Steven Shaw
9 years ago
ec294a1
Merge pull request #4043 from melted/issue_4013
Niklas Larsson
9 years ago
e88ad28
Fail parsing imports in the standard manner
Niklas Larsson
9 years ago
e03ff3d
Merge pull request #3936 from mandubian/fix/master/1211
Edwin Brady
9 years ago
ac97692
Text.Lexer: export a fail function
Michael Morgan
9 years ago
6fec28c
Text.Lexer: add character range lexer
Michael Morgan
9 years ago
532ef6c
Merge branch 'master' into fix/master/1211
Edwin Brady
9 years ago
4251ad8
Merge pull request #4036 from msmorgan/feature/lexer-lookahead
Jan de Muijnck-Hughes
9 years ago
e69ce01
Merge pull request #4029 from msmorgan/feature/lexer-primitives
Jan de Muijnck-Hughes
9 years ago
db95c2b
Merge pull request #4041 from idris-lang/revert-4021-fix-dump-highlights
Jan de Muijnck-Hughes
9 years ago
054978c
Revert "Fix #4020: Fix duplication in output of `--hightlight`."
Jan de Muijnck-Hughes
9 years ago
e6f77bb
Interfaces.Correlative: add the operators </ and />
Michael Morgan
9 years ago
8c6a569
Text.Lexer: add `non`, a kind of lexer negation
Michael Morgan
9 years ago
2df69e8
Text.Lexer: positive and negative lookahead
Michael Morgan
9 years ago
0488d1e
BREAKING Text.Lexer: rename symbol and space
Michael Morgan
9 years ago
55762f6
Text.Lexer: hexDigit, hexDigits, hexLit
Michael Morgan
9 years ago
96086d2
Text.Lexer: add lower, lowers, upper, and uppers
Michael Morgan
9 years ago
611c709
Text.Lexer: add alpha, alphas, alphaNum, and alphaNums
Michael Morgan
9 years ago
d1482fe
Text.Lexer: add digit lexer and correct docs
Michael Morgan
9 years ago
5aa99ef
Merge pull request #4028 from msmorgan/feature/lexer-combinators
Jan de Muijnck-Hughes
9 years ago
b0dddf0
Merge pull request #4027 from msmorgan/feature/lexer-opt
Jan de Muijnck-Hughes
9 years ago
3fd9042
Text.Lexer: add surround, quote, and escape
Michael Morgan
9 years ago
5d46db6
Text.Lexer: fix bug in charLit
Michael Morgan
9 years ago
4772454
Text.Lexer: use opt instead of (<|> Empty)
Michael Morgan
9 years ago
2700cef
add opt combinator to Text.Lexer
Michael Morgan
9 years ago
de2dfc2
Merge pull request #4024 from msmorgan/feature/correlative
Niklas Larsson
9 years ago
6e066f7
Merge pull request #4023 from msmorgan/feature/pairs-implicit
Niklas Larsson
9 years ago
14148f6
Merge pull request #4025 from msmorgan/feature/lexer-choice
Niklas Larsson
9 years ago
b9161b1
Merge pull request #4009 from joom/master
Niklas Larsson
9 years ago
0e86734
add `choice` combinator for Lexers
Michael Morgan
9 years ago
0b78de1
Merge pull request #4021 from jfdm/fix-dump-highlights
Jan de Muijnck-Hughes
9 years ago
c51fd2d
Fix #4020: Fix duplication in output of `--hightlight`.
Jan de Muijnck-Hughes
9 years ago
42cce7c
remove Interfaces.Zippable in favor of Interfaces.Correlative
Michael Morgan
9 years ago
59d2a1f
add Data.Pairs.Implicit for converting erased pairs
Michael Morgan
9 years ago
e2843b0
Merge pull request #4019 from melted/simplify_rts
Niklas Larsson
9 years ago
234a799
Merge pull request #4018 from msmorgan/feature/zippable
Niklas Larsson
9 years ago
cc6d29e
Remove unused macros
Niklas Larsson
9 years ago
3f04ad4
use liftA2 to implement zipWith for Maybe and Either
Michael Morgan
9 years ago
6a031c5
add Interfaces.Zippable to contrib
Michael Morgan
9 years ago
33bff54
Merge pull request #4016 from msmorgan/feature/stream-startWith
Niklas Larsson
9 years ago
f83cc0d
Merge pull request #4017 from melted/net_win
Niklas Larsson
9 years ago
6dbef7a
improve documentation for Data.Stream.Extra.startWith
Michael Morgan
9 years ago
51a6379
move `startWith` from prelude to contrib
Michael Morgan
9 years ago
cecf6bf
Make Network.Socket work on Windows
Niklas Larsson
9 years ago
9c56c15
add startWith function to Prelude.Streams
Michael Morgan
9 years ago
82114d1
Merge pull request #4015 from melted/fix_net_2
Niklas Larsson
9 years ago
2410405
Fix more places were getaddrinfo is used
Niklas Larsson
9 years ago
916111b
Merge pull request #4012 from melted/issue_4001
Niklas Larsson
9 years ago
673acd6
Fix return check from idrnet_getaddrinfo
Niklas Larsson
9 years ago
newer commits
older commits
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list