Skip to content
Browse files

Minor changes

  • Loading branch information...
1 parent 8ddcb92 commit 0ec7b2eaa2ac2c686fb39726e681ef484c893aac @favonia committed Feb 27, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 Equality/Sum.agda
View
2 Equality/Sum.agda
@@ -1,5 +1,5 @@
------------------------------------------------------------------------
--- Lemmas for equalities in Σ types
+-- Equalities in Σ types
------------------------------------------------------------------------
{-# OPTIONS --without-K #-}

0 comments on commit 0ec7b2e

Please sign in to comment.
Something went wrong with that request. Please try again.