Index - L
| Lam | |
| 1 (Data Constructor) | STLC |
| 2 (Data Constructor) | UTLC |
| lengthHuffGame | Huffman |
| listGame | BasicGames |
| listGame' | BasicGames |
| listIso | Iso |
| listsOfLength | STLC |
| log2 | NatGames |
every-bit-counts-0.1: A functional pearl on encoding and decoding using question-and-answer strategies