File Mode Size
0001-quantified-functor.ec -rw-r--r-- 251 bytes
0002-pr-event-applied-functor-functor.ec -rw-r--r-- 349 bytes
0003-functor-typing.ec -rw-r--r-- 134 bytes

back to top