improve README

fblanqui · fblanqui · commit b497f611c0a6 · 2021-03-26T10:30:17.000+01:00
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-Lambdapi library on natural numbers and polymorphic lists
+Lambdapi library on natural numbers and polymorphic lists (in intuitionistic first-order logic)
 =========================================================
 
 - `Set`: type of set codes

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-Lambdapi library on natural numbers and polymorphic lists`
	`1`	`+Lambdapi library on natural numbers and polymorphic lists (in intuitionistic first-order logic)`
`2`	`2`	`=========================================================`
`3`	`3`
`4`	`4`	- `Set`: type of set codes