Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 22, 2023

• Text corrections (#307)

  criadoperez

  authored
  f60d682

Commits on Nov 16, 2021

• nodes-and-kinds doc should link to type theory glossary.

  warpfork

  committed
  f41e873

Commits on Oct 30, 2021

• design: ordering: make that an actual list.

  warpfork

  committed
  f059543

• design: updating the map ordering docs.

  warpfork

  committed
  bd3a68e

• design: port ordering notes wholesale from gist.

  warpfork

  committed
  d0fe737

Commits on Aug 18, 2021

• Mention of other project's choices.

  warpfork

  committed
  8f17f75

Commits on Aug 13, 2021

• Add notes about sharded directories, add a 3rd option

  rvagg

  committed
  42fdcb9

• chore: minor typo fixes

  

  rvagg

  and

  olizilla

  committed
  75577bf

• Add dag-pb investigation doc

  rvagg

  committed
  e6074d9

Commits on Jun 25, 2021

• Design objectives: fewer bullet points, some more vision summaries.

  warpfork

  committed
  f180b8d

Commits on May 27, 2021

• Reorg schema docs: group into intro|features|using.

  warpfork

  committed
  c802285

• Add crosslink from type theory concept doc to our chosen solutions to numeric domain issues.

  warpfork

  committed
  4ab7038

• Add missing todo stubs.

  warpfork

  committed
  8492d17

Commits on May 12, 2021

• Child listings for every page that needed them.

  warpfork

  committed
  e752a82

Commits on May 8, 2021

• Fixing all links in the schema chapters.

  warpfork

  committed
  f9884e8

Commits on May 7, 2021

• Documentations on numeric domain.

  warpfork

  committed
  3892899

• Add several stub pages in for "tricky choices" in the design area.

  warpfork

  committed
  8bc072c

Commits on May 6, 2021

• Bring forward objectives document, with minor modifications.

  warpfork

  committed
  710a719

Commits on May 3, 2021

• Reintroduce open-research page related to ADLs; finishes fixing all links from that document. (Site should finally build again.)

  warpfork

  committed
  b3092de

Commits on Apr 25, 2021

• Rest of nav values for top-level content divisions.

  warpfork

  committed
  2306e36

Commits on Apr 11, 2021

• site tooling and some early content outlines.

  warpfork

  committed
  b47060b

Loading