diff options
| author | Jeshiba <baconp@gmail.com> | 2017-07-17 16:18:14 -0400 |
|---|---|---|
| committer | Jeshiba <baconp@gmail.com> | 2017-07-17 16:18:14 -0400 |
| commit | e82050aeb53d6aabcce7a8f27659e2e8bb8fb4bc (patch) | |
| tree | fa3894b2df3e8af563d0adf6bf5fd20b4259bdc8 /.gitignore | |
| parent | e36c52e338b82695da51030927ec5f6efdb3bbc4 (diff) | |
documentation and prop_longestElement.
- Added more documentation in RootSystem.hs
- Added a test for longestElement.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions