Skip to content

Commit d94c19f

Browse files
Paolo Torrinigares
Paolo Torrini
authored and
gares
committed
updated encatI.v
1 parent 1ce5b11 commit d94c19f

File tree

2 files changed

+390
-4
lines changed

2 files changed

+390
-4
lines changed

‎_CoqProject‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
structures.v
22
theories/cat.v
33
theories/encatD.v
4+
theories/encatI.v
45
-arg -w -arg -elpi.accumulate-syntax
56
-arg -w -arg +elpi.typecheck
67
-Q . HB

0 commit comments

Comments
 (0)