Files · 17f6e42a781ac39b1c63a1c4228f862c82369b3b · Finn Teegen / curry-frontend

An error occurred while fetching folder content.

Source project has a limited visibility.

Matthias Böhm authored 11 years ago

some additional documentation for "dictTypeExpr" in "ClassEnv" (related to unexpanded/expanded type sigs)

17f6e42a