Louis Dionne faf609157a Remove circular dependencies.

2014-07-01 20:41:04 -04:00

..

logical

Remove circular dependencies.

2014-07-01 20:41:04 -04:00

comparable.cpp

doc: document instances

2014-06-12 20:36:21 -04:00

literals.cpp

Integral: Fix a bug with negative literals.

2014-06-05 22:45:55 -04:00

operators.cpp

Documentation: improvements in Integral

2014-06-04 22:04:55 -04:00

orderable.cpp

Integral: instantiate Orderable

2014-06-29 15:57:33 -04:00