Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 1, 2018

• Merge pull request idris-lang#4449 from bonds/master

  Show description for 3a2f57e
  melted

  authored
  3a2f57e

  Copy full SHA for 3a2f57e

Commits on May 30, 2018

• Merge pull request idris-lang#4460 from XeFias/master

  Show description for e5626bb
  jfdm

  authored
  e5626bb

  Copy full SHA for e5626bb

• Merge pull request idris-lang#4459 from jfdm/fix-repetition-idris-highlight

  Show description for b640947
  jfdm

  authored
  b640947

  Copy full SHA for b640947

• A paper by David R. Christiansen has been moved.

  Show description for 83d9f72
  XeFias

  authored
  83d9f72

  Copy full SHA for 83d9f72

• Fix repetition in Idris Highlights.

  Show description for 90683e3
  jfdm

  committed
  90683e3

  Copy full SHA for 90683e3

• Merge pull request idris-lang#4458 from jfdm/stack-lts

  Show description for 02f0ec3
  jfdm

  authored
  02f0ec3

  Copy full SHA for 02f0ec3

• updated stack to latest LTS version (11.11)

  jfdm

  committed
  350189a

  Copy full SHA for 350189a

Commits on May 29, 2018

• Merge pull request idris-lang#4457 from jfdm/fix-pdf-doc

  Show description for 02bfaac
  jfdm

  authored
  02bfaac

  Copy full SHA for 02bfaac

• Let's ensure the PDF is updated as well.

  jfdm

  committed
  98b8014

  Copy full SHA for 98b8014

• Merge pull request idris-lang#4456 from steshaw/doc-fix

  Show description for 7701b47
  melted

  authored
  7701b47

  Copy full SHA for 7701b47

• Change DecEq primitives to use believe_me

  Show description for a08a1e6
  edwinb

  committed
  a08a1e6

  Copy full SHA for a08a1e6

• Correct link to "Design and Implementation" paper

  Show description for 3f19e4c
  steshaw

  committed
  3f19e4c

  Copy full SHA for 3f19e4c

Commits on May 27, 2018

• Merge pull request idris-lang#4448 from zenntenn/fix/master/difference

  Show description for fe79d87
  david-christiansen

  authored
  fe79d87

  Copy full SHA for fe79d87

Commits on May 26, 2018

• Update version number

  edwinb

  committed
  61cf812

  Copy full SHA for 61cf812

• Fix DecEq implementation on primitives

  Show description for 3b35e39
  edwinb

  committed
  3b35e39

  Copy full SHA for 3b35e39

Commits on May 25, 2018

• Changed the file name and location so this will build properly

  Show description for 437b0e9
  zenntenn

  committed
  437b0e9

  Copy full SHA for 437b0e9

• Added Data.Nat to package file

  Show description for cb84402
  zenntenn

  committed
  cb84402

  Copy full SHA for cb84402

• Added function to module Data.Nat

  Show description for 5229ca1
  zenntenn

  committed
  5229ca1

  Copy full SHA for 5229ca1

Commits on May 22, 2018

• Warn stack install users to keep .stack_work around

  bonds

  committed
  b34f18b

  Copy full SHA for b34f18b

Commits on May 21, 2018

• Finds the difference between two Nats

  Show description for d3badf2
  zenntenn

  committed
  d3badf2

  Copy full SHA for d3badf2

Commits on May 17, 2018

• Merge pull request idris-lang#4443 from mdimjasevic/tutorial-views

  Show description for 88f5c71
  jfdm

  authored
  88f5c71

  Copy full SHA for 88f5c71

Commits on May 16, 2018

• Fixes a few typos in the tutorial on views

  mdimjasevic

  committed
  93695e2

  Copy full SHA for 93695e2

Commits on May 5, 2018

• Merge pull request idris-lang#4434 from jacereda/strip-dead

  Show description for 597411f
  melted

  authored
  597411f

  Copy full SHA for 597411f

Commits on May 1, 2018

• Strip unreachable code/data

  jacereda

  committed
  d13fa5c

  Copy full SHA for d13fa5c

Commits on Apr 29, 2018

• Merge pull request idris-lang#4431 from jacereda/recv-leak

  Show description for fb1cc4e
  melted

  authored
  fb1cc4e

  Copy full SHA for fb1cc4e

• Leak when receiving from inactive sender

  jacereda

  committed
  2247f69

  Copy full SHA for 2247f69

Commits on Apr 28, 2018

• Merge pull request idris-lang#4429 from jacereda/master-unboxed-bits8-bits16

  Show description for 33d367d
  melted

  authored
  33d367d

  Copy full SHA for 33d367d

Commits on Apr 27, 2018

• Undo previous commit mess which contained unrelated code from another branch

  jacereda

  committed
  699090e

  Copy full SHA for 699090e

• Merge pull request idris-lang#4430 from jacereda/patch-1

  Show description for 48e5806
  melted

  authored
  48e5806

  Copy full SHA for 48e5806

• Update introduction.rst

  Show description for acce007
  jacereda

  authored
  acce007

  Copy full SHA for acce007

• Merge pull request idris-lang#4424 from jacereda/printer-depth

  Show description for 165c2bd
  

  Ahmad Salim Al-Sibahi

  authored
  165c2bd

  Copy full SHA for 165c2bd

• Merge pull request idris-lang#4427 from clayrat/patch-9

  Show description for a6e06b5
  

  Ahmad Salim Al-Sibahi

  authored
  a6e06b5

  Copy full SHA for a6e06b5

Commits on Apr 26, 2018

• Unboxed Bits8/Bits16 using Int as the underlying representation

  jacereda

  committed
  e9a31f4

  Copy full SHA for e9a31f4

• Forget stylish... again...

  Show description for fb301a5
  edwinb

  committed
  fb301a5

  Copy full SHA for fb301a5

Commits on Apr 25, 2018

• Faster dependency chasing

  Show description for 778bd17
  edwinb

  committed
  778bd17

  Copy full SHA for 778bd17

Pagination

Previous

Next