Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-03-03 | reorganize module | Daniel Schadt | |
This switches some definitions around and wraps App in a newtype, in preparation for more cleanup. | |||
2020-02-19 | package.yaml: remove extra-lib-dirs | Daniel Schadt | |
This is a rather system-specific setting and as such does not belong here. On compilation, the static libgmp should either be installed system-wide, or the user has to make this change himself or pass it as an argument to `stack build`. | |||
2020-02-18 | Initial commit | Daniel Schadt | |