Skip to content

[doc] Copy edit the heap lang documentation

Tej Chajed requested to merge tchajed/iris-coq:heap-doc-typos into master

Merge request reports