2 Pull requests merged by 1 person

• Merge ReferenceDB with ChunkDB

  #4028 merged Apr 1, 2025

• Remove unused _concepts field in SystemInformation

  #4033 merged Apr 1, 2025

3 Pull requests opened by 1 person

• Add diagram for Concept* chunks + related typeclasses and ShortName with namespace refactoring

  #4031 opened Mar 26, 2025

• Fix symbol sub- and sup-script rendering

  #4034 opened Apr 1, 2025

• WIP: No Duplicate Chunks in ChunkDB

  #4037 opened Apr 9, 2025

1 Issue closed by 1 person

• CI: Maintain a cache

  #3675 closed Mar 31, 2025

2 Issues opened by 1 person

• `ChunkDB`: error out on duplicate UID insertion.

  #4036 opened Apr 7, 2025

• Examining Chunks for Future Refactoring

  #4032 opened Mar 26, 2025

10 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Geometric Algebra Types

  #4009 commented on Apr 24, 2025 • 4 new comments

• Begin chunk examination w/ cleaning up and examining `IdeaDict`

  #4030 commented on Apr 1, 2025 • 4 new comments

• Fix subscript and superscript display for variables that have both

  #3188 commented on Apr 1, 2025 • 0 new comments

• Add Abbreviation Introduction for Software Names

  #3529 commented on Apr 7, 2025 • 0 new comments

• Forbid capital letters in various sentence and noun phrase constructors

  #3693 commented on Apr 7, 2025 • 0 new comments

• `State`ful artifact rendering: Verify it makes sense to implement (and implications), design, and implement

  #3864 commented on Apr 16, 2025 • 0 new comments

• On usage of `commonIdea`

  #3315 commented on Apr 22, 2025 • 0 new comments

• Merging chunk maps into a single map via `Data.Typeable`

  #2873 commented on Apr 23, 2025 • 0 new comments

• #2857 out-of-date README.md Update 3

  #3996 commented on Apr 6, 2025 • 0 new comments

• #2857 out-of-date README.md Update 4

  #3997 commented on Apr 6, 2025 • 0 new comments