Mercurial > hg > Members > kono > Proof > galois

diff Putil.agda @ 75:4b17a4daf2df

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
3rot
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 26 Aug 2020 00:53:33 +0900
parents 69ed81f8e212
children b0c344ece453
line wrap: on
line diff
--- a/Putil.agda	Tue Aug 25 14:15:49 2020 +0900
+++ b/Putil.agda	Wed Aug 26 00:53:33 2020 +0900
@@ -313,4 +313,4 @@
    pls6 (suc n) =  pls5 (suc n) (rev (pls6 n) ) []   -- rev to put id first
 
 pls : (n : ℕ ) → List (List ℕ )
-pls n = Data.List.map plist (all-perm n) where
+pls n = Data.List.map plist (all-perm n)