Saul Johnson

Randomize button

3

It was suggested [on Twitter](https://twitter.com/cringcken/status/902652842913226754) that we should introduce a randomize button that will give a random compound and (maybe) random colors. The compound name should probably appear in the...

Originally raised in #21 by @sgitkene, the compound porphin renders very oddly:  No idea about this one, might be a Sourire or even Indigo issue.

PR #21 probably fixes this (haven't checked though). Opening an issue to provide more detail as to what the issue is and how we could address it. First of all,...

Mouse position incorrect on some systems

1

Macros are recording incorrect mouse positions on some systems, leading to every mouse action being way way off where it should be. This may be an issue with the `ConvertPointToAbsolute`...

First of all, great library! We're putting it to use at the [Software Reliability Lab](https://github.com/sr-lab) in some Idris projects we have going that focus on dependent types for reliable software....

Update to be compatible with Idris 1.3.1

1

This PR should update the library to be compatible with Idris 1.3.1. The [error pointed out](https://github.com/fieldstrength/probability/pull/1#issuecomment-372909195) by @ivanperez-keera is also addressed here. Tested and seems to be working great. Does...