Zulip Chat Archive
Stream: new members
Topic: Inductive types private
Martin Dvořák (Mar 22 2022 at 10:59):
Why cannot inductive types be declared as private please?
Last updated: Dec 20 2023 at 11:08 UTC
Why cannot inductive types be declared as private please?
Last updated: Dec 20 2023 at 11:08 UTC