view paper/src/numberCountM_result.txt @ 92:0354d3693324 default tip

Added tag paper_final for changeset 6a12eb22be8c
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 01 Mar 2015 13:08:51 +0900
parents 1181b4facaf9
children
line wrap: on
line source

DeltaM (Delta (WriterT (Identity (8,
                                  ["[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]",
                                   "[2,3,5,7,11,13,17,19]",
                                   "8"])))
       (Mono  (WriterT (Identity (10,
                                  ["[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20]",
                                   "[2,4,6,8,10,12,14,16,18,20]",
                                   "10"])))))