git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
history of
be2b9bc..master
compare
4f19553
Merge remote-tracking branch 'upstream/master' into deprecated-parser-features
Jason Felice
9 years ago
42ce413
add regular expression equivalents to Text.Lexer documentation
Michael Morgan
9 years ago
fc10769
removed unnecessary whitespace.
Xefias
9 years ago
b4b4641
Updated comments according to review comments:
Xefias
9 years ago
99f0d60
add CHANGELOG entry for Data.Fuel
Michael Morgan
9 years ago
d080dbb
move `Fuel` data type into its own module
Michael Morgan
9 years ago
3c1a983
Merge pull request #4244 from msmorgan/json-changelog
Ahmad Salim Al-Sibahi
9 years ago
27bf213
add CHANGELOG entry for Language.JSON
Michael Morgan
9 years ago
5d52a94
Merge pull request #4181 from msmorgan/json
Ahmad Salim Al-Sibahi
9 years ago
57b64a7
Remove deprecated 'public' without 'export'
Jason Felice
9 years ago
e35d643
Remove deprecated `[static]` keyword
Jason Felice
9 years ago
4c40a72
Remove deprecated %assert_total
Jason Felice
9 years ago
0cfc98c
Remove long-deprecated `abstract`
Jason Felice
9 years ago
5194c07
indented JSON formatting
Michael Morgan
9 years ago
075504a
Data.String.Extra: more String utilities
Michael Morgan
9 years ago
4777dce
Language.JSON: total JSON parsing
Michael Morgan
9 years ago
905b7fc
Text.Lexer: add `control` and `controls` lexers
Michael Morgan
9 years ago
72937bb
Prelude.Chars: add isControl function
Michael Morgan
9 years ago
a2e981e
Merge pull request #4239 from eraserhd/lhs-extents
Jason Felice
9 years ago
74928cd
Merge pull request #4233 from sellout/poly-category
Ahmad Salim Al-Sibahi
9 years ago
adc5fc8
Merge pull request #4240 from camelpunch/patch-1
Ahmad Salim Al-Sibahi
9 years ago
c3987cc
Change default C compiler flags
Edwin Brady
9 years ago
022a435
Fix efficiency problem with 'covering'
Edwin Brady
9 years ago
4c95e68
Adjust ST makeAndIncrement example type
Andrew Bruce
9 years ago
5e69cec
Super minor simplification
Jason Felice
9 years ago
0296c12
Extract lhsPrefixApp, lhsInfixApp
Jason Felice
9 years ago
2634848
Extract lhs
Jason Felice
9 years ago
1b110b9
Refactor clause parser
Jason Felice
9 years ago
8e1a52c
Fix error location for lhs for prefix app clauses
Jason Felice
9 years ago
ef47811
Remove commented-out updateDNs
Jason Felice
9 years ago
4064dcf
Merge pull request #4182 from msmorgan/text-token
Jan de Muijnck-Hughes
9 years ago
8a1a7bf
Make Category poly-kinded.
Gregory Pfeil
9 years ago
4c79980
Merge pull request #4219 from robstewart57/docs-debug-symbols
Ahmad Salim Al-Sibahi
9 years ago
325e4fd
Merge pull request #4231 from Average-user/master
Ahmad Salim Al-Sibahi
9 years ago
b1a4264
Improve error message locations (#4210)
Jason Felice
9 years ago
fd5baaa
Implenting Data.List.Permutations
Average-user
9 years ago
421f138
Merge pull request #4228 from asandroq/fix-ffi-docs
Niklas Larsson
9 years ago
7dcd0cd
Fix code block in FFI documentation
Alex Queiroz
9 years ago
59c9cd9
Merge pull request #4227 from asandroq/use_ghc_822
Ahmad Salim Al-Sibahi
9 years ago
5bb7180
Move the stackage resolver one month forward
Alex Queiroz
9 years ago
cf491ba
First attempt at implementing ST alternative for File.idr in Effects.
Xefias
9 years ago
0b12888
Merge pull request #4221 from melted/changelog_hash
Niklas Larsson
9 years ago
f452b92
Add changelog item for C FFI #-prefix
Niklas Larsson
9 years ago
34da9c5
Documents how to include debugging symbols
Rob Stewart
9 years ago
7664753
Merge pull request #4218 from melted/paste_ffi
Niklas Larsson
9 years ago
3d2e39a
Prefix for pasting in identifiers in C FFI
Niklas Larsson
9 years ago
f8509e4
Merge pull request #4211 from msmorgan/repl-version
Jan de Muijnck-Hughes
9 years ago
4a2e0ac
add ":version" REPL command
Michael Morgan
9 years ago
5f822a5
Merge pull request #4209 from msmorgan/fix-elim-warning
Ahmad Salim Al-Sibahi
9 years ago
c047c24
fix warning text for '%elim' in parser
Michael Morgan
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