Commits

Breadcrumbs

History for

one17e0ef

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 22, 2021

• Merge pull request idris-lang#4894 from alexfmpe/patch-2

  Show description for 8752d86
  melted

  authored
  8752d86

  Copy full SHA for 8752d86

Commits on Jun 20, 2021

• Add hyphen

  vanillajonathan

  authored
  0f5533e

  Copy full SHA for 0f5533e

Commits on Jan 11, 2021

• Fix typo

  alexfmpe

  authored
  dcf9257

  Copy full SHA for dcf9257

Commits on Aug 28, 2020

• Fixes idris-lang#4880

  Show description for 89c7c29
  jfdm

  authored
  89c7c29

  Copy full SHA for 89c7c29

Commits on Aug 7, 2020

• Update typesfuns.rst

  jpetkau

  authored
  282de12

  Copy full SHA for 282de12

• Document alternative type declaration syntax

  Show description for 69782fa
  jpetkau

  authored
  69782fa

  Copy full SHA for 69782fa

Commits on May 23, 2020

• Prepare for release v1.3.3

  Show description for 0bc39d4
  melted

  committed
  0bc39d4

  Copy full SHA for 0bc39d4

• Merge pull request idris-lang#4860 from alexhumphreys/patch-1

  Show description for aa88d9b
  melted

  authored
  aa88d9b

  Copy full SHA for aa88d9b

Commits on May 15, 2020

• Update docs link in FAQ

  Show description for 5d1a8f1
  alexhumphreys

  authored
  5d1a8f1

  Copy full SHA for 5d1a8f1

Commits on Apr 5, 2020

• Fix a typo in the FFI tutorial

  hirrolot

  authored
  4d9c5b4

  Copy full SHA for 4d9c5b4

Commits on Mar 17, 2020

• Update introduction.rst

  Show description for 289b058
  alexhumphreys

  authored
  289b058

  Copy full SHA for 289b058

Commits on Mar 14, 2020

• Merge pull request idris-lang#4820 from nickdrozd/reverse

  Show description for 93cfe98
  melted

  authored
  93cfe98

  Copy full SHA for 93cfe98

Commits on Mar 10, 2020

• Fix Readthedocs PDF generation

  Show description for c76ade1
  jfdm

  committed
  c76ade1

  Copy full SHA for c76ade1

• Minor fix to latex sphinx build configuration.

  Show description for bc8926c
  jfdm

  committed
  bc8926c

  Copy full SHA for bc8926c

Commits on Mar 6, 2020

• Align steps in preorder reasoning example

  nickdrozd

  committed
  8684dae

  Copy full SHA for 8684dae

Commits on Feb 1, 2020

• Merge pull request idris-lang#4805 from martinbaker/parseLibDoc2

  Show description for fc0acd9
  melted

  authored
  fc0acd9

  Copy full SHA for fc0acd9

Commits on Jan 27, 2020

• Change lines of code of JavaScript to 60 for Hello World example in docs

  Show description for 55df0fb
  wstrm

  committed
  55df0fb

  Copy full SHA for 55df0fb

Commits on Jan 23, 2020

• add documentation about end-of-input

  

  martinbaker

  committed
  161573f

  Copy full SHA for 161573f

• show how to filter whitespace

  

  martinbaker

  committed
  0d8b94d

  Copy full SHA for 0d8b94d

Commits on Jan 16, 2020

• extend and fix parser library documentation

  

  martinbaker

  committed
  06af0c1

  Copy full SHA for 06af0c1

• extend and fix parser library documentation

  

  martinbaker

  committed
  0ec3bdc

  Copy full SHA for 0ec3bdc

• dont use partial functions

  

  martinbaker

  committed
  a99e963

  Copy full SHA for a99e963

Commits on Jan 15, 2020

• tidy up

  

  martinbaker

  committed
  50db7e1

  Copy full SHA for 50db7e1

• document do notation for grammar

  

  martinbaker

  committed
  3a6bd7b

  Copy full SHA for 3a6bd7b

Commits on Jan 9, 2020

• start on Defining Block Structure using Indents

  

  martinbaker

  committed
  d689c19

  Copy full SHA for d689c19

• add page about whitespace and comments

  

  martinbaker

  committed
  0a8b421

  Copy full SHA for 0a8b421

Commits on Jan 5, 2020

• Implement Left Recursion Elimination

  

  martinbaker

  committed
  eb780f7

  Copy full SHA for eb780f7

Commits on Jan 2, 2020

• tidy up parser library documentation

  

  martinbaker

  committed
  bc92430

  Copy full SHA for bc92430

• work on parser page

  

  martinbaker

  committed
  af2766c

  Copy full SHA for af2766c

Commits on Dec 30, 2019

• dicuss whitespace and comments

  

  martinbaker

  committed
  fdc5a52

  Copy full SHA for fdc5a52

Commits on Dec 29, 2019

• fix markup

  

  martinbaker

  committed
  e78b7d8

  Copy full SHA for e78b7d8

• better explanation for lexer

  

  martinbaker

  committed
  b2dd4bc

  Copy full SHA for b2dd4bc

• improve lexer description

  

  martinbaker

  committed
  3ce4e48

  Copy full SHA for 3ce4e48

Commits on Dec 28, 2019

• add parser library documentation

  

  martinbaker

  committed
  bdb7405

  Copy full SHA for bdb7405

• add parser library documentation

  

  martinbaker

  committed
  d86f82e

  Copy full SHA for d86f82e

Pagination

Previous

Next