5 Commits

Author	SHA1	Message	Date
Grégoire Henry	b2e6001007	Data_encoding: merge def and describe	2018-05-30 14:38:05 +02:00
Grégoire Henry	5023e1a261	Data_encoding: rename Binary.to_bytes into to_bytes_exn	2018-05-24 15:43:15 +00:00
Vincent Bernardoff	f8ded9ca28	Comparable: add Make	2018-02-15 17:36:42 +01:00
Grégoire Henry	575e367026	Update copyright notice (2018)	2018-02-05 23:34:05 +01:00
Pietro	d9405292a4	Move all packages to src/ ... Modify Makefile accordingly	2018-01-16 23:11:39 +01:00