There's a forum for the study group:
https://groups.google.com/forum/#!forum/the-little-typer-study-group-london
In April 2019 the exercises in the repository were reorganised and so the filenames in the forum do not match the paths in the repository. This table gives a map between the filename in the forum and the current path in the repository.
| Filename in the forum | Path in the repository |
|---|---|
| recursion.rkt | exercises/recursion.rkt |
| recursion-crib.rkt | exercises/recursion-crib.rkt |
| nat-elimination.rkt | exercises/nat-elimination.rkt |
| nat-elimination-crib.rkt | exercises/nat-elimination-crib.rkt |
| list-elimination.rkt | exercises/list-elimination.rkt |
| list-elimination-crib.rkt | exercises/list-elimination-crib.rkt |
| int-Nat.rkt | exercises/int-Nat.rkt |
| int-Nat-crib.rkt | exercises/int-Nat-crib.rkt |
| equality-Nat.rkt | exercises/equality-Nat.rkt |
| equality-Nat-crib.rkt | exercises/equality-Nat-crib.rkt |
| even-odd.rkt | exercises/even-odd.rkt |
| even-odd-crib.rkt | exercises/even-odd-crib.rkt |
| chapter-10-list-Ind.rkt | exercises/chapter-10-list-Ind.rkt |
| chapter-10-list-Ind-crib.rkt | exercises/chapter-10-list-Ind-crib.rkt |
| chapter-11-ind-Vec.rkt | exercises/chapter-11-ind-Vec.rkt |
| chapter-11-ind-Vec-crib.rkt | exercises/chapter-11-ind-Vec-crib.rkt |
| chapter-14-fin.rkt | exercises/chapter-14-fin.rkt |
| proofs.v | exercises/coq/proofs.v |