Implement AppliedTermRef (singleton types for term-level applications)#3887
Closed
gsps wants to merge 8 commits intoscala:masterfrom gsps:implement-appliedTerm
+291-19
Commits
Commits on Feb 17, 2020
- committed
- committed
- committed
- committed
- committed
- committed
