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

Directory listing for egison-4.2.0 source tarball

egison-4.2.0/

• Changelog.md
• LICENSE
• README.md
• Setup.hs
• egison.cabal
• benchmark/
  • Benchmark.hs
  • collection-bench-cons-large.egi
  • collection-bench-cons.egi
  • collection-bench-snoc.egi
  • fact-30000.egi
  • prime-pairs-2.egi
  • prime-pairs-6.egi
• elisp/
  • egison-mode.el
• hs-src/
  • Interpreter/
    • egison.hs
  • Language/
    • Egison.hs
    • Egison/
      • AST.hs
      • CmdOptions.hs
      • Completion.hs
      • Core.hs
      • Data.hs
      • Desugar.hs
      • Eval.hs
      • EvalState.hs
      • IExpr.hs
      • MList.hs
      • Match.hs
      • Math.hs
      • MathOutput.hs
      • Parser.hs
      • Pretty.hs
      • Primitives.hs
      • RState.hs
      • Tensor.hs
      • Data/
        • Collection.hs
        • Utils.hs
      • Math/
        • Arith.hs
        • Expr.hs
        • Normalize.hs
        • Rewrite.hs
      • Parser/
        • NonS.hs
        • SExpr.hs
      • PrettyMath/
        • AST.hs
        • AsciiMath.hs
        • Latex.hs
        • Mathematica.hs
        • Maxima.hs
      • Primitives/
        • Arith.hs
        • IO.hs
        • String.hs
        • Types.hs
        • Utils.hs
  • Tool/
    • translator.hs
• lib/
  • core/
    • assoc.egi
    • base.egi
    • collection.egi
    • io.egi
    • maybe.egi
    • number.egi
    • order.egi
    • random.egi
    • shell.egi
    • sort.egi
    • string.egi
  • math/
    • expression.egi
    • no-normalize.egi
    • normalize.egi
    • algebra/
      • equations.egi
      • inverse.egi
      • matrix.egi
      • root.egi
      • tensor.egi
      • vector.egi
    • analysis/
      • derivative.egi
      • integral.egi
    • common/
      • arithmetic.egi
      • constants.egi
      • functions.egi
    • geometry/
      • 3d-euclidean-space.egi
      • 4d-euclidean-space.egi
      • differential-form.egi
      • minkowski-space.egi
• sample/
  • bellman-ford.egi
  • chopsticks.egi
  • chopsticks2.egi
  • chopsticks3.egi
  • demo1-ja.egi
  • demo1.egi
  • generalized-sequential-pattern-mining.egi
  • graph.egi
  • ioRef.egi
  • mahjong.egi
  • n-queens.egi
  • poker-hands-with-joker.egi
  • poker-hands.egi
  • primes.egi
  • tree.egi
  • math/
    • geometry/
      • chern-form-of-CP1.egi
      • chern-form-of-CP2.egi
      • curvature-form.egi
      • euler-form-of-S2.egi
      • euler-form-of-T2.egi
      • exterior-derivative.egi
      • hodge-E3.egi
      • hodge-Minkowski.egi
      • hodge-laplacian-polar.egi
      • hodge-laplacian-spherical.egi
      • polar-laplacian-2d-2.egi
      • polar-laplacian-2d-3.egi
      • polar-laplacian-2d.egi
      • polar-laplacian-3d-2.egi
      • polar-laplacian-3d-3.egi
      • polar-laplacian-3d.egi
      • riemann-curvature-tensor-of-FLRW-metric.egi
      • riemann-curvature-tensor-of-S2.egi
      • riemann-curvature-tensor-of-S2xS3.egi
      • riemann-curvature-tensor-of-S3.egi
      • riemann-curvature-tensor-of-S4.egi
      • riemann-curvature-tensor-of-S5-non-sym.egi
      • riemann-curvature-tensor-of-S5.egi
      • riemann-curvature-tensor-of-S7.egi
      • riemann-curvature-tensor-of-Schwarzschild-metric.egi
      • riemann-curvature-tensor-of-T2-non-sym.egi
      • riemann-curvature-tensor-of-T2.egi
      • surface.egi
      • thurston-non-sym.egi
      • thurston.egi
      • wedge-product.egi
      • yang-mills-equation-of-U1-gauge-theory.egi
    • number/
      • 17th-root-of-unity.egi
      • 5th-root-of-unity.egi
      • 7th-root-of-unity.egi
      • eisenstein-primes.egi
      • euler-totient-function.egi
      • gaussian-primes.egi
      • tribonacci.egi
  • sat/
    • cdcl.egi
    • dp.egi
• test/
  • CLITest.hs
  • Test.hs
  • fixture/
    • a.egi
    • b.egi
    • c.egi
  • lib/
    • core/
      • assoc.egi
      • base.egi
      • collection.egi
      • io.egi
      • maybe.egi
      • number.egi
      • order.egi
      • random.egi
      • shell.egi
      • sort.egi
      • string.egi
    • math/
      • algebra.egi
      • analysis.egi
      • arithmetic.egi
      • tensor.egi