git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
d080dbb
help
sign in
d080dbb
move `Fuel` data type into its own module
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
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
5afea19
Merge pull request #4202 from msmorgan/list-length-nat-constructors
Ahmad Salim Al-Sibahi
9 years ago
5562c93
Add parity functions for naturals. (#4201)
Vanessa McHale
9 years ago
8f8c93f
Merge pull request #4199 from robstewart57/vect-scanl1
Ahmad Salim Al-Sibahi
9 years ago
1855f8b
Merge pull request #4204 from A1kmm/fix-accept
Ahmad Salim Al-Sibahi
9 years ago
39148e5
Set length when accepting on socket
Andrew Miller
9 years ago
72c233d
Merge pull request #4200 from msmorgan/verbatim-string-trailing-quotes
Ahmad Salim Al-Sibahi
9 years ago
242191e
implement `Prelude.List.length` using `Nat` constructors
Michael Morgan
9 years ago
5fd758c
add test cases verifying new verbatim string behavior
Michael Morgan
9 years ago
612f918
update CHANGELOG.md with new verbatim string behavior
Michael Morgan
9 years ago
31156f0
support trailing quotes in verbatim string literals
Michael Morgan
9 years ago
ecce09c
Adds scanl1 to Data.Vect
Rob Stewart
9 years ago
21ab196
Merge pull request #4196 from Niriel/issue_3500
Ahmad Salim Al-Sibahi
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