···

       
1
       
1
       
 
       
opam-version: "2.0"

     

       
2
       
2
       
 
       
synopsis: "Backward lists"

     

       
3
       
3
       
 
       
description: """

     

       
4
       
4
       
-
       
This OCaml package defines backward lists that are isomorphic to lists. They are useful when one wishes to give a different type to the lists that are semantically in reverse. In our experience, it is easy to miss List.rev or misuse List.rev_append when both semantically forward and backward lists are present. With backward lists having a different type, it is impossible to make these mistakes.

     

       
4
       
4
       
+
       
This OCaml package defines backward lists that are isomorphic to lists.

     

       
5
       
5
       
+
       
They are useful when one wishes to give a different type to the lists that are semantically in reverse.

     

       
6
       
6
       
+
       
In our experience, it is easy to miss List.rev or misuse List.rev_append when both semantically forward and backward lists are present.

     

       
7
       
7
       
+
       
With backward lists having a different type, it is impossible to make these mistakes.

     

       
5
       
8
       
 
       
"""

     

       
6
       
9
       
 
       
maintainer: "favonia <favonia@gmail.com>"

     

       
7
       
10
       
 
       
authors: "The RedPRL Development Team"