git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
e1d16e2
help
sign in
e1d16e2
added more primitives, all tests passing now
Rui Barreiro
9 years ago
492d0f6
added more primFn to pass bounded test
Rui Barreiro
9 years ago
18fa741
removed unused constructors
Rui Barreiro
9 years ago
da46fd6
added function name to error message for invalid ffi types
Rui Barreiro
9 years ago
8453697
added support for bigints and int32, before both of than were working with js numbers(doubles)
Rui Barreiro
9 years ago
462d4f2
improvment in tailcall optim usage of variables
Rui Barreiro
9 years ago
2be53f8
created names for partial applications
Rui Barreiro
9 years ago
a254920
fixed tail call optim when closuser involved
Rui Barreiro
9 years ago
dc44b02
new javascript backend
Rui Barreiro
9 years ago
385f848
Add usleep from System to Effect.System (#3749)
Artem Ohanjanyan
10 years ago
515ac42
Interpreter tests (#3747)
Chris Ford
10 years ago
502ad1f
Merge pull request #3748 from tsani/pair-is-functor
Ahmad Salim Al-Sibahi
10 years ago
bccb3a5
Merge pull request #3753 from justjoheinz/docs/fix_refl
Ahmad Salim Al-Sibahi
10 years ago
2d02b09
Fix reference to "refl" in misc reference
Markus Klink
10 years ago
4bbe9c5
Merge pull request #3741 from lpil/Control.Pipeline
Ahmad Salim Al-Sibahi
10 years ago
c68cd26
Merge pull request #3744 from Pastafarianist/patch-1
Ahmad Salim Al-Sibahi
10 years ago
ff0fc61
Merge pull request #3754 from jfdm/fix-base
Jan de Muijnck-Hughes
10 years ago
2c1503c
Formatted module list in `base.ipkg`
Jan de Muijnck-Hughes
10 years ago
7dc5098
Removed old version of SortedSet from `base`.
Jan de Muijnck-Hughes
10 years ago
ee7a3cb
Prelude: implement Functor for `Pair a`
Jacob Errington
10 years ago
7bd33c2
Merge pull request #3736 from ctford/idris_time
Niklas Larsson
10 years ago
5ddb7a3
Extra check in parseInteger
Dmitry Nikulin
10 years ago
a6be726
Control.Pipeline example usage
Louis Pilfold
10 years ago
20569c5
Control.Pipeline
Louis Pilfold
10 years ago
a521cc4
Fix the idris_time special case.
Chris Ford
10 years ago
c56feb8
Merge pull request #3737 from ctford/mkFileError
Niklas Larsson
10 years ago
05893db
Merge pull request #3738 from ctford/warn-on-missing-stylish-haskell
Niklas Larsson
10 years ago
05ccaf3
Abort if stylish-haskell is missing.
Chris Ford
10 years ago
4317228
Handle idris_mkFileError through a special-case.
Chris Ford
10 years ago
e019840
Merge pull request #3734 from mheinzel/lib-documentation-typos
Ahmad Salim Al-Sibahi
10 years ago
d52f83a
Fix typos etc. in String docs
Matthias Heinzel
10 years ago
e421169
Merge pull request #3728 from david-christiansen/issue/3726
David Christiansen
10 years ago
6e09d8f
Flush output buffers in executor
David Raymond Christiansen
10 years ago
e371823
Update version numbers
v1.0
Edwin Brady
10 years ago
40ae2c9
Constructor saturation fix
Edwin Brady
10 years ago
2c001c9
Refresh the tutorial
Edwin Brady
10 years ago
5fc838d
Fix whitespace
Edwin Brady
10 years ago
cf5ab6b
Fix implementation argument check
Edwin Brady
10 years ago
3e4752f
Fix name decoration
Edwin Brady
10 years ago
4c0acf6
Fix negative number literal warning
Edwin Brady
10 years ago
4a6974c
Fix ordering of patterns in conversion check
Edwin Brady
10 years ago
d0a2180
Merge pull request #3723 from reynir/patch-1
Ahmad Salim Al-Sibahi
10 years ago
ee47281
Merge pull request #3722 from CarstenKoenig/patch-1
Jan de Muijnck-Hughes
10 years ago
09ab243
Update CONTRIBUTORS
Reynir Björnsson
10 years ago
d552eef
added hint to get around build failures due to old ibc files
Carsten König
10 years ago
44035ac
Merge pull request #3717 from jfdm/bump-for-lts-inclusion
Jan de Muijnck-Hughes
10 years ago
149fa6f
Bumped bounds on packages required for LTS Haskell inclusion.
Jan de Muijnck-Hughes
10 years ago
52686c8
Merge pull request #3714 from jfdm/update-stackage
Jan de Muijnck-Hughes
10 years ago
a11b187
Updated to latest LTS Haskell
Jan de Muijnck-Hughes
10 years ago
4b21484
Merge pull request #3710 from jfdm/improve-console-io
Jan de Muijnck-Hughes
10 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