| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Absolute.hs | 24-Jul-2011 11:21 | 3.7K | ||
| Additive.hs | 23-Jul-2012 16:38 | 9.4K | ||
| AffineSpace.hs | 04-Aug-2010 22:51 | 6.2K | ||
| Algebraic.hs | 04-Aug-2010 22:51 | 1.9K | ||
| Differential.hs | 13-Mar-2011 14:47 | 510 | ||
| DimensionTerm.hs | 12-Mar-2009 00:25 | 5.3K | ||
| DivisibleSpace.hs | 13-Mar-2011 14:47 | 446 | ||
| EqualityDecision.hs | 04-Aug-2010 22:51 | 2.5K | ||
| Field.hs | 12-Aug-2012 08:13 | 4.4K | ||
| FloatingPoint.hs | 16-Sep-2012 23:20 | 1.4K | ||
| GenerateRules.hs | 04-Aug-2010 22:51 | 2.8K | ||
| Indexable.hs | 17-Apr-2007 11:52 | 1.7K | ||
| IntegralDomain.hs | 13-Mar-2011 14:47 | 8.1K | ||
| Lattice.hs | 04-Aug-2010 22:51 | 1.6K | ||
| Laws.hs | 12-Apr-2007 11:09 | 2.0K | ||
| Module.hs | 13-Mar-2011 14:47 | 3.6K | ||
| ModuleBasis.hs | 13-Mar-2011 14:47 | 2.7K | ||
| Monoid.hs | 04-Aug-2010 22:51 | 1.7K | ||
| NonNegative.hs | 04-Aug-2010 22:51 | 3.2K | ||
| NormedSpace/ | 13-Mar-2011 14:47 | - | ||
| OccasionallyScalar.hs | 10-Aug-2012 22:29 | 1.8K | ||
| OrderDecision.hs | 04-Aug-2010 22:51 | 6.0K | ||
| PrincipalIdealDomain.hs | 13-Mar-2011 14:47 | 11K | ||
| RealField.hs | 13-Mar-2011 14:47 | 675 | ||
| RealIntegral.hs | 24-Jul-2011 11:21 | 3.7K | ||
| RealRing.hs | 06-Aug-2011 17:35 | 23K | ||
| RealRing98.hs | 06-Aug-2011 17:35 | 1.1K | ||
| RealTranscendental.hs | 04-Aug-2010 22:51 | 1.0K | ||
| RightModule.hs | 13-Mar-2011 14:47 | 396 | ||
| Ring.hs | 23-Jul-2012 16:38 | 6.9K | ||
| ToInteger.hs | 03-Oct-2011 15:18 | 7.0K | ||
| ToRational.hs | 24-Jul-2011 11:21 | 5.0K | ||
| Transcendental.hs | 03-Oct-2011 15:18 | 5.8K | ||
| Units.hs | 13-Mar-2011 14:47 | 4.0K | ||
| Vector.hs | 12-Mar-2009 00:25 | 2.2K | ||
| VectorSpace.hs | 04-Aug-2010 22:51 | 768 | ||
| ZeroTestable.hs | 13-Mar-2011 14:47 | 1.9K | ||