Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 28, 2021

• Fix an unfortunate typo in the design document

  mrkkrp

  committed
  c7ede90

  Copy full SHA for c7ede90

Commits on Aug 7, 2021

• Correct some typos in DESIGN.md

  

  felixonmars

  authored and

  mrkkrp

  committed
  4055c33

  Copy full SHA for 4055c33

Commits on Apr 24, 2020

• Update design notes for CPP.

  

  facundominguez

  authored and

  mrkkrp

  committed
  5bffeff

  Copy full SHA for 5bffeff

Commits on Oct 4, 2019

• Update the readme

  Show description for 096c8d7
  mrkkrp

  committed
  096c8d7

  Copy full SHA for 096c8d7

Commits on Oct 2, 2019

• Change the style of type signatures

  Show description for 8466d6e
  mrkkrp

  committed
  8466d6e

  Copy full SHA for 8466d6e

Commits on Aug 21, 2019

• Add examples to table of contents and drop the roadmap

  Show description for 19deae5
  mrkkrp

  committed
  19deae5

  Copy full SHA for 19deae5

• Correct the dead link to examples in ‘DESIGN.md’

  

  contrun

  authored and

  mrkkrp

  committed
  6408a34

  Copy full SHA for 6408a34

Commits on Feb 14, 2019

• Minor corrections to the design document

  mrkkrp

  committed
  f1d07ca

  Copy full SHA for f1d07ca

Commits on Jan 10, 2019

• Support no configuration.

  facundominguez

  committed
  66b22d7

  Copy full SHA for 66b22d7

Commits on Jan 5, 2019

• Update section on Hindent. (#13)

  

  facundominguez

  authored and

  mrkkrp

  committed
  410d2ec

  Copy full SHA for 410d2ec

• Update analysis for contributions. (#14)

  

  facundominguez

  authored and

  mrkkrp

  committed
  ef1c8d3

  Copy full SHA for ef1c8d3

Commits on Jan 4, 2019

• Style edits.

  facundominguez

  committed
  fd1c881

  Copy full SHA for fd1c881

• Style edits.

  facundominguez

  committed
  d9171cc

  Copy full SHA for d9171cc

• Tighten Brittany's section.

  facundominguez

  committed
  b4bb9a4

  Copy full SHA for b4bb9a4

Commits on Jan 3, 2019

• Incorporate Mathieu's design

  mrkkrp

  committed
  304671e

  Copy full SHA for 304671e

• Improve analysis of existing solutions (#10)

  mrkkrp

  authored
  cfc8dbf

  Copy full SHA for cfc8dbf

Commits on Dec 20, 2018

• Simplify the failing CPP example

  facundominguez

  authored
  690d7e8

  Copy full SHA for 690d7e8

Commits on Dec 18, 2018

• Add formatting examples for discussion.

  facundominguez

  committed
  f0aea98

  Copy full SHA for f0aea98

Commits on Dec 15, 2018

• Explain more of the rationale for excluding CPP. (#7)

  Show description for 84cf555
  

  facundominguez

  authored and

  mrkkrp

  committed
  84cf555

  Copy full SHA for 84cf555

• Merge pull request #8 from tweag/fd/goals

  Show description for 6ea0b52
  mrkkrp

  authored
  6ea0b52

  Copy full SHA for 6ea0b52

Commits on Dec 14, 2018

• Set some goals.

  facundominguez

  committed
  ec58113

  Copy full SHA for ec58113

Commits on Dec 12, 2018

• Merge pull request #5 from tweag/fd/self-check-design

  Show description for a065f54
  mrkkrp

  authored
  a065f54

  Copy full SHA for a065f54

Commits on Dec 11, 2018

• Fix grammar and minor edits in CPP section.

  facundominguez

  committed
  b9b9fc4

  Copy full SHA for b9b9fc4

• Mention the self-check and edit testing section.

  facundominguez

  committed
  8da9c0b

  Copy full SHA for 8da9c0b

• Edit opening of the CPP section in the DESIGN document

  facundominguez

  authored
  bf027f0

  Copy full SHA for bf027f0

Commits on Dec 10, 2018

• A couple more sentences about Brittany

  mrkkrp

  committed
  bc2b919

  Copy full SHA for bc2b919

Commits on Dec 8, 2018

• Mention ‘Outputable’ and ‘SDoc’ in the section about pretty printing

  Show description for b5e26f8
  mrkkrp

  committed
  b5e26f8

  Copy full SHA for b5e26f8

• Fix a link in the design document

  Show description for d94e08e
  mrkkrp

  committed
  d94e08e

  Copy full SHA for d94e08e

• Update the design document

  Show description for 386a933
  mrkkrp

  committed
  386a933

  Copy full SHA for 386a933

Commits on Nov 25, 2018

• Initial commit

  mrkkrp

  committed
  dc66051

  Copy full SHA for dc66051

Loading