2 Commits

Author	SHA1	Message	Date
Angelos Chalaris	8ae2b83136	Housekeeping, head, tail, init and last of list	2017-12-10 17:59:07 +02:00
Angelos Chalaris	367ee7f390	Generic currying	2017-12-10 15:21:35 +02:00