git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
cd87fcd
help
sign in
cd87fcd
Annotate warning source line
Jason Felice
9 years ago
1a62f62
Compose Docs
Jason Felice
9 years ago
1dc09ac
Clean up iWarn a bit more
Jason Felice
9 years ago
f743272
Don't include '=' for RHS span
Jason Felice
9 years ago
bab82b5
Show unreachable case warnings like other warnings
Jason Felice
9 years ago
79351ee
Add blank line after "large" messages
Jason Felice
9 years ago
6e98ac1
layoutSource returns Doc
Jason Felice
9 years ago
abc6b5c
Refactor iWarn
Jason Felice
9 years ago
7d0c06b
Put source code before error (like parse errors)
Jason Felice
9 years ago
0bb18f1
Add CHANGELOG entry
Jason Felice
9 years ago
f967817
Make warnings, non-parse errors pretty
Jason Felice
9 years ago
5218727
Merge pull request #4245 from msmorgan/data-fuel
Ahmad Salim Al-Sibahi
9 years ago
d773edd
Merge pull request #4247 from msmorgan/lexer-regex-docs
Ahmad Salim Al-Sibahi
9 years ago
42ce413
add regular expression equivalents to Text.Lexer documentation
Michael Morgan
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
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
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
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