Zulip Chat Archive

Stream: triage

Topic: issue #5518: "simp normal form" should be documented


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip 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?

view this post on Zulip 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?


Last updated: May 09 2021 at 16:20 UTC