Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 7, 2019

• Merge pull request idris-lang#4772 from clayrat/patch-16

  Show description for f3cff28
  melted

  authored
  f3cff28

  Copy full SHA for f3cff28

• Merge pull request idris-lang#4773 from sysvinit/effects-docs-typos

  Show description for 103a454
  melted

  authored
  103a454

  Copy full SHA for 103a454

• Merge pull request idris-lang#4746 from nickdrozd/ack

  Show description for 5f62578
  melted

  authored
  5f62578

  Copy full SHA for 5f62578

Commits on Oct 31, 2019

• Add Ackermann function definitions and proof

  nickdrozd

  committed
  c7c1c27

  Copy full SHA for c7c1c27

Commits on Oct 26, 2019

• Correct a couple of minor typos in the effects package idrisdoc

  sysvinit

  committed
  c67d49c

  Copy full SHA for c67d49c

Commits on Oct 25, 2019

• add SortedMap.singleton

  clayrat

  authored
  e6b19fb

  Copy full SHA for e6b19fb

Commits on Oct 23, 2019

• Merge pull request idris-lang#4771 from sysvinit/ffi-docs

  Show description for 095fb31
  melted

  authored
  095fb31

  Copy full SHA for 095fb31

Commits on Oct 22, 2019

• Correct MKSTR arguments in FFI docs.

  Show description for 24c7571
  sysvinit

  committed
  24c7571

  Copy full SHA for 24c7571

Commits on Oct 21, 2019

• Merge pull request idris-lang#4770 from idris-lang/appveyor-fix

  Show description for 454f0b0
  melted

  authored
  454f0b0

  Copy full SHA for 454f0b0

• Fix Appveyor by pinning cabal

  Show description for 47d5336
  melted

  authored
  47d5336

  Copy full SHA for 47d5336

• Merge pull request idris-lang#4759 from lodi/updateDeps

  Show description for 3b69821
  melted

  authored
  3b69821

  Copy full SHA for 3b69821

• Merge pull request idris-lang#4769 from sysvinit/rebuild-tutorial-pdf

  Show description for 6f3f4ee
  melted

  authored
  6f3f4ee

  Copy full SHA for 6f3f4ee

• Merge pull request idris-lang#4768 from buzden/tutorial-typo-fix

  Show description for d4e7ead
  melted

  authored
  d4e7ead

  Copy full SHA for d4e7ead

• Merge pull request idris-lang#4767 from zenntenn/patch-1

  Show description for 3257106
  melted

  authored
  3257106

  Copy full SHA for 3257106

Commits on Oct 20, 2019

• Update tutorial PDF

  sysvinit

  committed
  187d05f

  Copy full SHA for 187d05f

Commits on Oct 19, 2019

• Type arguments of declaration were made to be similar to the others.

  buzden

  committed
  7f4ee1f

  Copy full SHA for 7f4ee1f

Commits on Oct 11, 2019

• Adding command line for C codegen

  Show description for 47387f6
  zenntenn

  authored
  47387f6

  Copy full SHA for 47387f6

• Couple of small tutorial typos were fixed.

  buzden

  committed
  8a25f65

  Copy full SHA for 8a25f65

Commits on Sep 28, 2019

• Add missing case in DumpBC

  edwinb

  committed
  5965fb1

  Copy full SHA for 5965fb1

• Small runtime performance tweak

  Show description for 24a083f
  edwinb

  committed
  24a083f

  Copy full SHA for 24a083f

• Fix GC heap sizing

  Show description for ac930f3
  edwinb

  committed
  ac930f3

  Copy full SHA for ac930f3

Commits on Aug 30, 2019

• updated ansi-terminal dependency to accept 0.9.x

  lodi

  committed
  bcb1c4e

  Copy full SHA for bcb1c4e

Commits on Aug 29, 2019

• Merge pull request idris-lang#4758 from melted/cabal3

  Show description for 7af67ac
  melted

  authored
  7af67ac

  Copy full SHA for 7af67ac

Commits on Aug 27, 2019

• Compatibility with Cabal 3.0

  Show description for 9feaa02
  melted

  committed
  9feaa02

  Copy full SHA for 9feaa02

Commits on Aug 14, 2019

• Merge pull request idris-lang#4754 from clayrat/patch-15

  Show description for 075c0f7
  melted

  authored
  075c0f7

  Copy full SHA for 075c0f7

Commits on Aug 13, 2019

• Fix file handle leaks and simplify code

  clayrat

  authored
  229331c

  Copy full SHA for 229331c

Commits on Aug 6, 2019

• Merge pull request idris-lang#4751 from AlexIljin/doc-typo-fix

  Show description for 476234f
  jfdm

  authored
  476234f

  Copy full SHA for 476234f

Commits on Aug 5, 2019

• Fix a typo in the Vect.replicate documentation

  alex-ilin

  committed
  7488182

  Copy full SHA for 7488182

Commits on Aug 1, 2019

• Merge pull request idris-lang#4745 from martinbaker/fixMarkup

  Show description for a8d2afc
  jfdm

  authored
  a8d2afc

  Copy full SHA for a8d2afc

• Merge pull request idris-lang#4747 from dalpd/fix/master/typo

  Show description for a1b3097
  jfdm

  authored
  a1b3097

  Copy full SHA for a1b3097

Commits on Jul 30, 2019

• Fix typo

  dalpd

  committed
  b141a55

  Copy full SHA for b141a55

Commits on Jul 24, 2019

• use literate-idris lexer to highlight literate code

  

  martinbaker

  committed
  9a7e8d7

  Copy full SHA for 9a7e8d7

Commits on Jul 23, 2019

• fix some documentation markup warnings

  

  martinbaker

  committed
  3ab5036

  Copy full SHA for 3ab5036

Commits on Jul 22, 2019

• Update version numbers ready for release

  edwinb

  committed
  9549d9c

  Copy full SHA for 9549d9c

Commits on Jul 21, 2019

• Merge pull request idris-lang#4743 from RichieAHB/patch-2

  Show description for 16754f7
  melted

  authored
  16754f7

  Copy full SHA for 16754f7

Pagination

Previous

Next