formatting, tests

b4578418 · hondet · hondet · 592765b1 · b4578418 · b4578418
Commit b4578418 authored 3 years ago by hondet Committed by hondet 3 years ago
--- a/lib/dune
+++ b/lib/dune
 (library
- (libraries lambdapi.common lambdapi.lplib lambdapi.parsing lambdapi.core)
+ (libraries
+  lambdapi.common
+  lambdapi.lplib
+  lambdapi.parsing
+  lambdapi.core
+  dolmen)
 (name lpvs))
--- a/test/false.lp
+++ b/test/false.lp
 symbol false : Prf (∀ {prop} (λ p: El prop, p));
+symbol true : Prf (∀ {prop} (λ p: El prop, p ⇒ (λ _: Prf p, p)));