Zulip Chat Archive
Stream: triage
Topic: issue #4413: document op_induction
Random Issue Bot (Oct 10 2021 at 14:18):
Today I chose issue 4413 for discussion!
document op_induction
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-10-05
Labels: needs-documentation, meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Scott Morrison (Oct 11 2021 at 01:20):
Random Issue Bot said:
document op_induction
Created by Bryan Gin-ge Chen (@bryangingechen) on 2020-10-05
Labels: needs-documentation, meta
Last updated: Dec 20 2023 at 11:08 UTC