Zulip Chat Archive

Stream: triage

Today I chose PR 18629 for discussion!

feat(Computability.Timed): Formalization of runtime complexity of List.merge
Created by @Tomaz Gomes Mascarenhas (@tomaz1502) on 2024-11-04
Labels: awaiting-author, merge-conflict, new-contributor, t-computability

Is this PR still relevant? Any recent updates? Anyone making progress?

Last updated: May 02 2025 at 03:31 UTC