• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for noether-0.0.1 source tarball

noether-0.0.1/

• CHANGELOG.md
• LICENSE.md
• README.md
• Setup.hs
• noether.cabal
• package.yaml
• stack.yaml
• benchmark/
  • Main.hs
• executable/
  • Main.hs
• library/
  • Lemmata.hs
  • Lemmata/
    • Applicative.hs
    • Base.hs
    • Bifunctor.hs
    • Bool.hs
    • Conv.hs
    • Debug.hs
    • Either.hs
    • Exceptions.hs
    • Functor.hs
    • List.hs
    • Monad.hs
    • Panic.hs
    • Semiring.hs
    • Show.hs
    • Unsafe.hs
  • Noether/
    • Equality.hs
    • Algebra/
      • Actions.hs
      • Derive.hs
      • Inference.hs
      • Linear.hs
      • Multiple.hs
      • Single.hs
      • Subtyping.hs
      • Tags.hs
      • Actions/
        • API.hs
        • Acts.hs
        • Compatible.hs
        • GroupActions.hs
        • Linearity.hs
        • Strategies.hs
      • Linear/
        • API.hs
        • Module.hs
        • Strategies.hs
      • Multiple/
        • Ring.hs
        • Semiring.hs
        • Strategies.hs
      • Single/
        • API.hs
        • AbelianGroup.hs
        • Cancellative.hs
        • Commutative.hs
        • Group.hs
        • Magma.hs
        • Monoid.hs
        • Neutral.hs
        • Semigroup.hs
        • Strategies.hs
        • Synonyms.hs
      • Vector/
        • Boxed.hs
        • Generic.hs
        • Tags.hs
        • Tutorial.hs
        • Unboxed.hs
    • Equality/
      • Tutorial.hs
    • Lemmata/
      • Prelude.hs
      • TypeFu.hs
      • TypeFu/
        • DList.hs
        • Map.hs
        • Set.hs
• test-suite/
  • Main.hs
  • Noether/
    • Test/
      • Algebra.hs