Skip to content

lean: textual values, as a draft spec, the model, and parse vectors - #785

Draft
lwshang wants to merge 4 commits into
rewritefrom
text-values-spec
Draft

lean: textual values, as a draft spec, the model, and parse vectors#785
lwshang wants to merge 4 commits into
rewritefrom
text-values-spec

lean: check parameter names in annotated function types

7be06d4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar