-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[M4-9] Moonshot: in-browser Agda playground (watch agda-web; go/no-go criteria)
decisionNeeds a decision before implementation can start.Needs a decision before implementation can start.milestone-4-portfolioMilestone 4: Portfolio of flagship work.Milestone 4: Portfolio of flagship work.Status: Open.[M4-2c] The library star chart: agda-algebras' import graph as a navigable sky
designVisual design and front-end work.Visual design and front-end work.milestone-4-portfolioMilestone 4: Portfolio of flagship work.Milestone 4: Portfolio of flagship work.Status: Open.[M4-2b] The HSP scroll figure on the agda-algebras page
contentMigrating, triaging, or restructuring existing content.Migrating, triaging, or restructuring existing content.designVisual design and front-end work.Visual design and front-end work.milestone-4-portfolioMilestone 4: Portfolio of flagship work.Milestone 4: Portfolio of flagship work.Status: Open.[M4-3b] Fill the hole: a visitor-completable proof
contentMigrating, triaging, or restructuring existing content.Migrating, triaging, or restructuring existing content.designVisual design and front-end work.Visual design and front-end work.milestone-4-portfolioMilestone 4: Portfolio of flagship work.Milestone 4: Portfolio of flagship work.Status: Open.[M4-3a] Record and ship an agent proof session (asciinema replay)
careerDirectly serves the research-role application goal.Directly serves the research-role application goal.contentMigrating, triaging, or restructuring existing content.Migrating, triaging, or restructuring existing content.infrastructureBuild system, tooling, and repository plumbing.Build system, tooling, and repository plumbing.milestone-4-portfolioMilestone 4: Portfolio of flagship work.Milestone 4: Portfolio of flagship work.Status: Open.[M3-3b] Hover previews on project cards
designVisual design and front-end work.Visual design and front-end work.infrastructureBuild system, tooling, and repository plumbing.Build system, tooling, and repository plumbing.milestone-3-designMilestone 3: Visual identity and design system.Milestone 3: Visual identity and design system.Status: Open.[M3-2c] Evidence strip: computed counts, each linking to its proof
automationScripts and generators that remove manual steps.Scripts and generators that remove manual steps.designVisual design and front-end work.Visual design and front-end work.milestone-3-designMilestone 3: Visual identity and design system.Milestone 3: Visual identity and design system.Status: Open.[M3-2b] Constellation component: Hasse diagrams as star charts, and ADR-009 (motion)
designVisual design and front-end work.Visual design and front-end work.milestone-3-designMilestone 3: Visual identity and design system.Milestone 3: Visual identity and design system.Status: Open.[M3-3a] Headings do not clear floats, so an h2 after a floated image draws its rule behind it
designVisual design and front-end work.Visual design and front-end work.milestone-3-designMilestone 3: Visual identity and design system.Milestone 3: Visual identity and design system.Status: Open.#88 In williamdemeo/williamdemeo.github.io;[M4-8] Category theory: a concise course — project page
contentMigrating, triaging, or restructuring existing content.Migrating, triaging, or restructuring existing content.milestone-4-portfolioMilestone 4: Portfolio of flagship work.Milestone 4: Portfolio of flagship work.writingRequires substantial new prose.Requires substantial new prose.Status: Open.#83 In williamdemeo/williamdemeo.github.io;[M3-1a] Combining marks break when base and mark land in different JuliaMono subsets
designVisual design and front-end work.Visual design and front-end work.infrastructureBuild system, tooling, and repository plumbing.Build system, tooling, and repository plumbing.milestone-3-designMilestone 3: Visual identity and design system.Milestone 3: Visual identity and design system.Status: Open.#81 In williamdemeo/williamdemeo.github.io;[M4-2] Port the agda-algebras docs site's Agda-HTML styling and hover tooltips
designVisual design and front-end work.Visual design and front-end work.infrastructureBuild system, tooling, and repository plumbing.Build system, tooling, and repository plumbing.milestone-4-portfolioMilestone 4: Portfolio of flagship work.Milestone 4: Portfolio of flagship work.Status: Open.#71 In williamdemeo/williamdemeo.github.io;