@hackage / ideas-math

Interactive domain reasoner for logic and mathematics

Latest1.2

Dependencies

executable:ideas-math (6 dependencies)

@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2.4.1 && <2.7
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.2 && <5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version:
- License: BSD-2-Clause
@hackage / ideas Feedback services for intelligent tutoring systems
- Version: ==1.3
- License: Apache-2.0
@hackage / random Pseudo-random number generation
- Version:
- License: BSD-3-Clause