Commit graph

2 commits

Author SHA1 Message Date
Ayaz Hafiz
ebcd323449
Use strict unification of vars in unspecialized lambda sets right now 2022-07-06 13:08:58 -04:00
Ayaz Hafiz
a1152934f5
Check in the ambient lambda set specialization doc 2022-07-06 13:08:58 -04:00