@hackage / atp

Metadata

• Last updated 25 Jan 2021, by EK
• License GPL-3.0-only
• Categories Mathematics

• Maintained by: evgeny.kotelnikov@gmail.com

• Lottery factor: 0 New

  The number of people with uploader permission on @hackage/atp who have released something to @hackage in the last 2 years (i.e. the number of people likely able to release critical fixes in a timely manner)

Links

• Homepage
• Documentation
• Source repository

Installation

Tested Compilers

1. 8.10.3
2. 8.8.4
3. 8.6.5
4. 8.4.4
5. 8.2.2
6. 8.0.2
7. 7.10.3

Package Flags

Use the -f option with cabal commands to enable flags

werror (off by default)
provers (off by default)