Zulip Chat Archive
Stream: triage
Topic: issue #5518: "simp normal form" should be documented
Random Issue Bot (Feb 10 2021 at 14:20):
Today I chose issue 5518 for discussion!
"simp normal form" should be documented
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-12-28
Labels: help wanted, needs-documentation
Is this issue still relevant? Any recent updates? Anyone making progress?
Bryan Gin-ge Chen (Feb 10 2021 at 14:28):
This still seems like something we should have, but I don't know how we should present this information.
Random Issue Bot (Feb 25 2021 at 14:20):
Today I chose issue 5518 for discussion!
"simp normal form" should be documented
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-12-28
Labels: help wanted, needs-documentation
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Mar 21 2021 at 14:21):
Today I chose issue 5518 for discussion!
"simp normal form" should be documented
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-12-28
Labels: help wanted, needs-documentation
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Feb 07 2022 at 14:17):
Today I chose issue 5518 for discussion!
"simp normal form" should be documented
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-12-28
Labels: help wanted, needs-documentation
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Mar 23 2022 at 14:13):
Today I chose issue 5518 for discussion!
"simp normal form" should be documented
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-12-28
Labels: help wanted, needs-documentation
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jun 21 2022 at 14:20):
Today I chose issue 5518 for discussion!
"simp normal form" should be documented
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-12-28
Labels: help wanted, needs-documentation
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Sep 15 2022 at 14:23):
Today I chose issue 5518 for discussion!
"simp normal form" should be documented
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-12-28
Labels: help wanted, needs-documentation
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Oct 13 2022 at 14:29):
Today I chose issue 5518 for discussion!
"simp normal form" should be documented
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-12-28
Labels: help wanted, needs-documentation
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC