Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove unnecessary `s` parameter for tree top. Remove unnecessary `let`s, and generally make things neater. Make trees lean left. Use local type signatures under GHC, where scoped type variables are available. Remove unnecessary bang patterns. Begin to document design.
- Loading branch information