Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 10, 2018

• Merge pull request idris-lang#4375 from ether42/fix-eof

  Show description for 36eff70
  melted

  authored
  36eff70

  Copy full SHA for 36eff70

• Fix EOF handling of replWith

  kevinboulain

  committed
  b402e1d

  Copy full SHA for b402e1d

Commits on Mar 9, 2018

• Merge pull request idris-lang#4363 from jacereda/master

  Show description for 86615f0
  jfdm

  authored
  86615f0

  Copy full SHA for 86615f0

• Merge pull request idris-lang#4374 from jfdm/patch-job-of-benchmark

  Show description for b5c22c0
  jfdm

  authored
  b5c22c0

  Copy full SHA for b5c22c0

• Patched fasta benchmark so it compiles.

  Show description for 06e9b53
  jfdm

  committed
  06e9b53

  Copy full SHA for 06e9b53

Commits on Mar 7, 2018

• Merge pull request idris-lang#4361 from jacereda/fix-stack-test-nixpkgs

  Show description for 612e248
  melted

  authored
  612e248

  Copy full SHA for 612e248

Commits on Mar 6, 2018

• Add Bool, Maybe, Either implementations for Quotable (idris-lang#4367)

  Show description for 2184f50
  

  joom

  authored and

  david-christiansen

  committed
  2184f50

  Copy full SHA for 2184f50

Commits on Mar 3, 2018

• Merge pull request idris-lang#4366 from ahmadsalim/feature/allow-capitalized-pattern-vars

  Show description for 72be9f0
  

  Ahmad Salim Al-Sibahi

  authored
  72be9f0

  Copy full SHA for 72be9f0

• Fix package test

  

  Ahmad Salim Al-Sibahi

  committed
  0cad6c7

  Copy full SHA for 0cad6c7

• Allow capitalized pattern variables via switch

  

  Ahmad Salim Al-Sibahi

  committed
  eb41a1d

  Copy full SHA for eb41a1d

Commits on Mar 2, 2018

• Fix shell return code, closes idris-lang#4362

  jacereda

  committed
  4b04d93

  Copy full SHA for 4b04d93

• Reorder link flags

  jacereda

  committed
  1cdf39c

  Copy full SHA for 1cdf39c

Commits on Mar 1, 2018

• stack test --nix should work now

  jacereda

  committed
  f351735

  Copy full SHA for f351735

Commits on Feb 28, 2018

• Added export and totality directives (idris-lang#4360)

  

  pkapustin

  authored and

  Ahmad Salim Al-Sibahi

  committed
  b93fe6b

  Copy full SHA for b93fe6b

Commits on Feb 26, 2018

• Bump IBC version after removing %elim items

  

  Ahmad Salim Al-Sibahi

  authored
  507a731

  Copy full SHA for 507a731

Commits on Feb 25, 2018

• Remove old eliminator generation and induction tactic (idris-lang#4351)

  Show description for cc7ef9a
  

  Ahmad Salim Al-Sibahi

  authored
  cc7ef9a

  Copy full SHA for cc7ef9a

Commits on Feb 24, 2018

• Fixed Data.SortedBag.contains and added docs to Data.PosNat (idris-lang#4348)

  Show description for 94c6dc2
  

  Patrick Hilhorst

  authored and

  Ahmad Salim Al-Sibahi

  committed
  94c6dc2

  Copy full SHA for 94c6dc2

• Merge pull request idris-lang#4350 from michelrandahl/patch-1

  Show description for c229ecc
  

  Ahmad Salim Al-Sibahi

  authored
  c229ecc

  Copy full SHA for c229ecc

Commits on Feb 23, 2018

• Update type-providers-ffi.rst

  Show description for 41951f2
  michelrandahl

  authored
  41951f2

  Copy full SHA for 41951f2

• Various additions to contrib (idris-lang#4343)

  Show description for 2be6e6a
  

  Patrick Hilhorst

  authored and

  Ahmad Salim Al-Sibahi

  committed
  2be6e6a

  Copy full SHA for 2be6e6a

• Update Cabal-Version field to 1.22

  Show description for ecd3bc6
  

  Ahmad Salim Al-Sibahi

  authored
  ecd3bc6

  Copy full SHA for ecd3bc6

Commits on Feb 22, 2018

• Merge pull request idris-lang#4344 from juhp/patch-4

  Show description for 3a71443
  

  Ahmad Salim Al-Sibahi

  authored
  3a71443

  Copy full SHA for 3a71443

• fix for odd-even bug in random (idris-lang#4339)

  Show description for fab2841
  

  martinbaker

  authored and

  Ahmad Salim Al-Sibahi

  committed
  fab2841

  Copy full SHA for fab2841

• add issue tracker to .cabal file

  juhp

  authored
  5843c91

  Copy full SHA for 5843c91

Commits on Feb 20, 2018

• Merge pull request idris-lang#4340 from mpilgrem/ansi-terminal

  Show description for a7257e6
  

  Ahmad Salim Al-Sibahi

  authored
  a7257e6

  Copy full SHA for a7257e6

Commits on Feb 19, 2018

• Bump ansi-terminal upper bound to <0.9

  Show description for d3d1bda
  mpilgrem

  committed
  d3d1bda

  Copy full SHA for d3d1bda

• Reverse improvements (idris-lang#4310)

  Show description for 5102e48
  

  stephen-smith

  authored and

  Ahmad Salim Al-Sibahi

  committed
  5102e48

  Copy full SHA for 5102e48

• Fix looped temporary allocations in mini-GMP (idris-lang#4324)

  Show description for 3be1766
  

  yanok

  authored and

  Ahmad Salim Al-Sibahi

  committed
  3be1766

  Copy full SHA for 3be1766

• Add Identity a basic instances (idris-lang#4336)

  Show description for d8dd94b
  

  aiya000

  authored and

  Ahmad Salim Al-Sibahi

  committed
  d8dd94b

  Copy full SHA for d8dd94b

• Merge pull request idris-lang#4338 from aiya000/feature/effects-runPureEnv

  Show description for c1d7e65
  

  Ahmad Salim Al-Sibahi

  authored
  c1d7e65

  Copy full SHA for c1d7e65

Commits on Feb 18, 2018

• Fin.restrict fix (idris-lang#4337)

  Show description for a6037b9
  

  trsutton

  authored and

  Ahmad Salim Al-Sibahi

  committed
  a6037b9

  Copy full SHA for a6037b9

• Add Effects.runPureEnv

  aiya000

  committed
  f7f5836

  Copy full SHA for f7f5836

• Add a runEnv document comment

  aiya000

  committed
  1381cdb

  Copy full SHA for 1381cdb

Commits on Feb 17, 2018

• Merge pull request idris-lang#4335 from aiya000/feature/move-ignore-func-to-prelude-functor

  Show description for 6d7fd7b
  

  Ahmad Salim Al-Sibahi

  authored
  6d7fd7b

  Copy full SHA for 6d7fd7b

• Move ignore to Prelude.Functor

  Show description for a7a5c29
  aiya000

  committed
  a7a5c29

  Copy full SHA for a7a5c29

Pagination

Previous

Next