Skip to content

Drasil Team Meeting - Tuesday, Nov 18, 1:45 pm, ITB/112 #4442

@smiths

Description

@smiths

Agenda

  1. Blockers for @B-rando1
    With the wiki work, I've started creating a series of issues with recommended changes for each page. That's been going well so far, and doesn't currently have any blockers.
  2. Blockers for @Xinlu-Y
    Fill chunk refs #4434: Reference collection for Citation, DefinedQuantityDict, NamedIdea, UnitDefn and Reference is now reliable. With Jason’s help, ChunkDB inserts are now out-of-order friendly. Some generated outputs reorder traces/assumptions. No blockers beyond taking time to clean up commits and slice the PRs.
  3. Blockers for @JoeZZG
    add introduction to HGHC #4470: Introduction implementation for HGHC is complete and ready for review.
  4. Blockers for @sarrasoussia

Regrets: @sarrasoussia

Virtual:

Metadata

Metadata

Labels

meetingMeetings to discuss Drasil. All meetings will have an agenda.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions