Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 2, 2023

• Fixes typos

  deining

  committed
  0f192ea

  Copy full SHA for 0f192ea

Commits on May 20, 2022

• Fix typo

  rytswd

  committed
  1a5e1f2

  Copy full SHA for 1a5e1f2

Commits on May 11, 2022

• lossless note: fixes

  

  Erin van der Veen

  committed
  8296d79

  Copy full SHA for 8296d79

Commits on May 2, 2022

• lossless note: event.rs

  

  Erin van der Veen

  committed
  6bd24bf

  Copy full SHA for 6bd24bf

• lossless note: feedback

  

  Erin van der Veen

  committed
  027b29b

  Copy full SHA for 027b29b

• lossless note: Additional approach and tree-sitter

  

  Erin van der Veen

  committed
  7a0e0e2

  Copy full SHA for 7a0e0e2

• lossless note: Consistent terminology

  

  ErinvanderVeen

  authored and

  Erin van der Veen

  committed
  df21a88

  Copy full SHA for df21a88

• lossless note: General problem with comments

  

  ErinvanderVeen

  authored and

  Erin van der Veen

  committed
  950f47c

  Copy full SHA for 950f47c

• lossless note: Clear up some sections

  

  ErinvanderVeen

  authored and

  Erin van der Veen

  committed
  025f289

  Copy full SHA for 025f289

• lossless note: parsers -> grammar definitions

  Show description for b5c76e4
  

  2 peopleauthored and

  Erin van der Veen

  committed
  b5c76e4

  Copy full SHA for b5c76e4

• Write note on possible lossless parsers

  

  ErinvanderVeen

  authored and

  Erin van der Veen

  committed
  2187097

  Copy full SHA for 2187097

Commits on Jan 13, 2022

• Remove old location of RFC 001

  yannham

  committed
  d7b673d

  Copy full SHA for d7b673d

Commits on Jan 12, 2022

• Fix typos in notes/sum-as-dependent-record.md

  yannham

  committed
  c10f74c

  Copy full SHA for c10f74c

• Fix typo in notes/sum-as-dependent-records.md

  yannham

  authored
  aa2958c

  Copy full SHA for aa2958c

• Save original notes on dependent records

  yannham

  committed
  cce3b6c

  Copy full SHA for cce3b6c

Commits on Dec 30, 2021

• Merge pull request tweag#330 from tweag/doc/overriding-proposal

  Show description for cfb2821
  yannham

  authored
  cfb2821

  Copy full SHA for cfb2821

• Update overriding.md

  yannham

  authored
  40d2952

  Copy full SHA for 40d2952

Commits on Dec 29, 2021

• Fix bad example in standardization meeting notes

  Show description for b7eb9d0
  yannham

  authored
  b7eb9d0

  Copy full SHA for b7eb9d0

Commits on Dec 8, 2021

• Update notes/standardization-meeting-07.12.21.md

  yannham

  authored
  334b795

  Copy full SHA for 334b795

• Update notes/standardization-meeting-07.12.21.md

  yannham

  authored
  9457473

  Copy full SHA for 9457473

Commits on Dec 7, 2021

• Update notes/standardization-meeting-07.12.21.md

  Show description for c3a9440
  

  yannham

  and

  silverraven691

  authored
  c3a9440

  Copy full SHA for c3a9440

• De-butcher Théophane's name

  yannham

  committed
  5158f26

  Copy full SHA for 5158f26

• Add notes of the standardization meeting tweag#1

  yannham

  committed
  e5fb917

  Copy full SHA for e5fb917

Commits on Sep 2, 2021

• Update notes/overriding.md

  Show description for 4c47e12
  

  yannham

  and

  goldfirere

  authored
  4c47e12

  Copy full SHA for 4c47e12

• Update notes/overriding.md

  Show description for 0bf43c0
  

  yannham

  and

  goldfirere

  authored
  0bf43c0

  Copy full SHA for 0bf43c0

Commits on Sep 1, 2021

• Patch the definition of the mergetree

  yannham

  committed
  dfb2a8f

  Copy full SHA for dfb2a8f

Commits on Aug 4, 2021

• Update notes/overriding.md

  Show description for 99f5112
  

  yannham

  and

  aspiwack

  authored
  99f5112

  Copy full SHA for 99f5112

• Rework the section on the NixOS module system

  yannham

  committed
  bc18923

  Copy full SHA for bc18923

• Small fixes

  yannham

  committed
  3130f16

  Copy full SHA for 3130f16

Commits on Jul 9, 2021

• Rewording, code reworking, pass on operational semantics

  yannham

  committed
  824edf5

  Copy full SHA for 824edf5

Commits on Jul 8, 2021

• Typos, rewording

  yannham

  committed
  8cea8b6

  Copy full SHA for 8cea8b6

• Semantics: add reminder on merge tree

  yannham

  committed
  e713069

  Copy full SHA for e713069

• More on operational semantics

  yannham

  committed
  c445e52

  Copy full SHA for c445e52

Commits on Jul 7, 2021

• [WIP] Operational semantics, continued

  yannham

  committed
  dee765b

  Copy full SHA for dee765b

• [WIP] Operational semantics

  yannham

  committed
  aca4b2d

  Copy full SHA for aca4b2d

Pagination

Previous

Next