5 Commits

Author	SHA1	Message	Date
Anthony Scemama	17c9aef254	Opam package	2018-03-28 01:50:19 +02:00
Anthony Scemama	b5b6010bbf	Introduced ShellPairCouples in ERI	2018-03-27 19:26:32 +02:00
Anthony Scemama	ab7abda328	Cleaning in ERI	2018-03-27 16:31:44 +02:00
Anthony Scemama	b5b3e1fc98	Added ERI type	2018-03-26 19:15:09 +02:00
Anthony Scemama	031408f5ab	Added ERI.mli	2018-03-26 16:47:08 +02:00