details

Author: fblanqui

README.md

@@ -1,4 +1,4 @@
-Lambdapi library on natural numbers and polymorphic lists (in intuitionistic first-order logic)
+[Lambdapi](https://github.com/Deducteam/lambdapi) library on natural numbers and polymorphic lists (in intuitionistic first-order logic)
 =========================================================
 
 - `Set`: type of set codes

blanqui-lib.opam

@@ -1,5 +1,5 @@
 opam-version: "2.0"
-synopsis: "Standard library for Lambdapi"
+synopsis: "Basic library on natural numbers and polymorphic lists"
 description: """
 This package provides a Lambdapi library on natural numbers
 and polymorphic lists (in intuitionistic first-order logic).
@@ -18,9 +18,9 @@ authors: ["Frédéric Blanqui"]
 license: "CECILL-2.1"
 homepage: "https://github.com/fblanqui/lib"
 bug-reports: "https://github.com/fblanqui/lib/issues"
+dev-repo: "git+https://github.com/fblanqui/lib.git"
+install: [ make "install" ]
+uninstall: [ make "uninstall" ]
 depends: [
   "lambdapi" {>= "2.0.0"}
 ]
-install: [ make "install" ]
-uninstall: [ make "uninstall" ]
-dev-repo: "git+https://github.com/fblanqui/lib.git"