Stream: Beginner Questions

Topic: ✔ Exporting "nat" to OCaml

Alex Weisberger (Sep 13 2022 at 21:14):

That's exactly what I was looking for - thank you!

Notification Bot (Sep 13 2022 at 21:15):

Alex Weisberger has marked this topic as resolved.

Last updated: Sep 28 2026 at 16:33 UTC