Skip to content
Permalink
Browse files

Remove redundant lib dependency

  • Loading branch information...
L-TChen committed May 10, 2019
1 parent 9bf3848 commit c8c26007506519163c8b97393e99b60cf9d6444e
Showing with 0 additions and 3 deletions.
  1. +0 −2 FiniteSets/Kuratowski/Properties.agda
  2. +0 −1 finiteSets.agda-lib
@@ -14,8 +14,6 @@ open import Cubical.HITs.PropositionalTruncation
open import Cubical.Data.Prod
open import Cubical.Data.Sum

--open import Cubical.Relation.Nullary

open import FiniteSets.Kuratowski.Base renaming ([_] to K[_])
open import FiniteSets.Semilattice

@@ -1,5 +1,4 @@
name: finite-sets
depend:
cubical
standard-library
include: .

0 comments on commit c8c2600

Please sign in to comment.
You can’t perform that action at this time.