Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | check pint | Jeshiba | 2017-07-17 | 1 | -6/+12 |
* | Checkpoint | Jeshiba | 2017-07-13 | 1 | -2/+3 |
* | Added a test on positiveRoots. | Jeshiba | 2017-07-13 | 1 | -15/+33 |
* | fixed highest roots and positive roots. | Jeshiba | 2017-07-12 | 1 | -16/+14 |
* | revised longestElement | Jeshiba | 2017-07-12 | 1 | -1/+1 |
* | implemented longestElement | Jeshiba | 2017-07-12 | 1 | -19/+47 |
* | implemented positive roots. | Jeshiba | 2017-07-12 | 1 | -2/+64 |
* | started working on RootSystem.hs | Jeshiba | 2017-07-11 | 1 | -0/+272 |