Zulip Chat Archive
Stream: Lean Together 2019
Topic: Documentation session
Johan Commelin (Jan 11 2019 at 12:51):
Could someone please post a short summary of the topic session on documentation?
Joseph Corneli (Jan 16 2019 at 11:41):
I missed it so would also welcome any notes.
Also, it would be great to have something like "clojuredocs" for lean:
e.g. https://clojuredocs.org/clojure.data/diff
Last updated: Dec 20 2023 at 11:08 UTC