search

UniMath / Schools

77 stars 21 forks source link

adapt formulation to the current material for lectures 1 and 2 #33

Closed rmatthes closed 5 years ago

rmatthes commented 5 years ago

do not refer to UniMath school 2017 identity type instead of = in first exercise