[opam-devel] What metrics for opam-repository ?

Daniel Bünzli daniel.buenzli at erratique.ch
Fri Oct 3 07:53:24 BST 2014


Le vendredi, 3 octobre 2014 à 06:36, Louis Gesbert a écrit :
> * The ultimate goal is better user experience

Define user experience.  

* Who is the user ?  
* Are there different kind of users ?  
* What is each kind of user supposed to get from these tables ?  

Daniel




More information about the opam-devel mailing list