Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 3, 2020

• Merge pull request #1 from vlopezj/patch-3

  andreasabel

  authored
  88503fe

• Add example of link to a function definition in Haddock

  vlopezj

  authored
  a17c264

Commits on Jun 28, 2019

• Relax line length criterion.

  andreasabel

  committed
  0435a83

Commits on Dec 12, 2017

• Some reformatting. Prefer data over Maybe, Either, ...

  andreasabel

  committed
  d5c6751

Commits on Nov 10, 2014

• Some general code quality guidelines.

  andreasabel

  committed
  19fc12e

Commits on Oct 16, 2014

• Agda style guide first commit

  andreasabel

  committed
  304ff39

Commits on Apr 19, 2013

• Clarify use of case in names

  tibbe

  committed
  49f7f9e

Commits on Mar 20, 2013

• Use correct comment marker

  tibbe

  committed
  db04b27

Commits on Feb 9, 2013

• Add a warning against over-use of point-free style

  tibbe

  committed
  7279c89

Commits on Jan 8, 2013

• Minor improvements

  tibbe

  committed
  6c198a1

• Add a section on dealing with laziness

  tibbe

  committed
  25eaf48

Commits on Aug 11, 2012

• Explain how to indent case expressions. Closes tibbe#8

  tibbe

  committed
  b96c29b

Commits on Apr 9, 2012

• Clarify identation of if-then-else clauses in expressions

  tibbe

  committed
  744e395

• Add section about if-then-else clauses

  jaspervdj

  committed
  6999aa0

Commits on Apr 6, 2012

• Document how to format long Haddock comments on fields

  tibbe

  committed
  74d065c

Commits on Dec 8, 2011

• Add back list indentation

  dag

  committed
  4741eef

• Syntax highlighting via GitHub Flavored Markdown

  dag

  committed
  9cb5dae

Commits on Oct 27, 2011

• Add a note about module naming

  tibbe

  committed
  3315d30

Commits on Jun 16, 2011

• Remove the ToC as numbered headings don't work well in Markdown

  tibbe

  committed
  05330ba

Commits on Oct 27, 2010

• Added comment regarding use of in-line links

  

  Johan Tibell

  authored and

  tibbe

  committed
  e79773f

Commits on May 13, 2010

• Consistent spelling of "judgement".

  jaspervdj

  committed
  19caa1d

• Added section about list declarations.

  jaspervdj

  committed
  c261011

Commits on Apr 4, 2010

• Added missing do after lambda. Closes #1

  tibbe

  committed
  a8b9da2

Commits on Mar 21, 2010

• corrected possessive with apostrophe

  

  Chris Done

  committed
  48d30d3

Commits on Jan 17, 2010

• Remove expections in function naming

  tibbe

  committed
  73d1990

• Export list formatting

  tibbe

  committed
  d5bc02d

• Formatting of data types with long type names

  tibbe

  committed
  a5e6086

Commits on Feb 18, 2009

• Added a pointer to the style guide from the README file.

  

  Johan Tibell

  committed
  e4a1193

• Fixed some typos in the README file.

  

  Johan Tibell

  committed
  5a6b0fa

• Added Emacs support for this style guide.

  

  Johan Tibell

  committed
  70c88fa

• Fixed some typos.

  

  Johan Tibell

  committed
  fc42348

• Fleshed out the README.

  

  Johan Tibell

  committed
  86ece01

• Added a first version of the style guide.

  

  Johan Tibell

  committed
  8f343b5

• Added an empty README file.

  

  Johan Tibell

  committed
  47a4b8e