Stream: Beginner Questions

Topic: Would like to subscribe to Standard ML Zulip Chat

Thomas Baruchel (Dec 11 2023 at 21:59):

Hi, newbie to Isabelle, I am also interested in using Standard ML (I teach functional programming at university but OCaml is the single ML-related language I know; and until now, I have been using Scheme when teaching). I noticed a standardml Zulip chat, but an invitation is needed. Could someone here send an invitation to me? Best regards.

Thomas Baruchel (Dec 13 2023 at 04:56):

Finally found my way through the link https://github.com/orgs/smlnj/discussions/266 Sorry for the disturbance.

Last updated: Apr 27 2024 at 16:16 UTC