| name | map-reduce-bit3x3 | ||||||||||||||
| version | 1.7 | ||||||||||||||
| requires | |||||||||||||||
| meta.description | The map reduce 3x3 bit matrix example | ||||||||||||||
| meta.author | Joe Leslie-Hurd <joe@gilith.com> | ||||||||||||||
| meta.license | MIT | ||||||||||||||
| meta.show | "Data.Bool" | ||||||||||||||
| meta.show | "Data.List" | ||||||||||||||
| meta.show | "Data.Pair" | ||||||||||||||
| meta.hol-light-int-file | hol-light.int | ||||||||||||||
| meta.hol-light-thm-file | hol-light.art |
| name | main |
| imports |
|
| name | def |
| package | map-reduce-bit3x3-def-1.1 |
| name | sat |
| package | map-reduce-bit3x3-sat-1.4 |
| name | thm |
| imports |
|
| package | map-reduce-bit3x3-thm-1.1 |