brownplt / pyret-lang

The Pyret language.
Other
1.07k stars 110 forks source link

Refer to curricular documentation from docs page #1705

Open jpolitz opened 1 year ago

jpolitz commented 1 year ago

We should link to the docs pages for various curricular stuff, like relevant parts of DCIC or Bootstrap resources.

See, for example, https://groups.google.com/g/pyret-discuss/c/owd5rJnEKrQ/m/xnza9AI-BQAJ?utm_medium=email&utm_source=footer&pli=1, where someone couldn't find the relevant iteration tools for tables, but they were present in the Bootstrap: Data Science libraries.

I don't think we should copy these, but it might be useful to enable some amount of search for them and definitely reference them.

shriram commented 1 year ago

I was discussing this in email with @schanzer. We may have to move to a regime where the docs show multiple versions of things (à la Racket docs, but maybe more clearly delineated). It certainly is disappointing that when you're in CPO, you have no way of knowing about alternate contracts — if you came by a program through a link, rather than through a Bootstrap PD, you're sort of SOL.