Repository navigation

Add Dependent-Type-Like Functions [Experiment] - #33237

Closed

rubenpieters wants to merge 2 commits into

microsoft:mainfrom

rubenpieters:add-dep-type-like-fun

Closed

Add Dependent-Type-Like Functions [Experiment]#33237
rubenpieters wants to merge 2 commits into
microsoft:mainfrom
rubenpieters:add-dep-type-like-fun

Commits on Nov 25, 2019
- Add binding of return statement, to check performance impact
  rubenpieters
  committed
  396e7d5
- implementation sketch of dependent-type-like functions
  rubenpieters
  committed
  feb5235