2 Commits

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