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

Directory listing for language-ats-1.7.10.0 source tarball

language-ats-1.7.10.0/

• CHANGELOG.md
• LICENSE
• README.md
• language-ats.cabal
• bench/
  • Bench.hs
• src/
  • Language/
    • ATS.hs
    • ATS/
      • Lexer.x
      • Parser.y
      • PrettyPrint.hs
      • Rewrite.hs
      • Types.hs
      • Types/
        • Lens.hs
• test/
  • Spec.hs
  • data/
    • array-literal.dats
    • array-literal.out
    • array.dats
    • array.out
    • ats-generic.dats
    • ats-generic.out
    • cli.dats
    • cli.out
    • combinatorics.dats
    • combinatorics.out
    • concurrency.dats
    • concurrency.out
    • crc32.dats
    • crc32.out
    • dhall-ats.dats
    • dhall-ats.out
    • dirwalk.dats
    • dirwalk.out
    • dlist.out
    • dlist.sats
    • either.out
    • either.sats
    • fact.dats
    • fact.out
    • factorial.dats
    • factorial.out
    • fast-combinatorics.dats
    • fast-combinatorics.out
    • fastcount.dats
    • fastcount.out
    • fib-thm.dats
    • fib-thm.out
    • fib.dats
    • fib.out
    • filecount.dats
    • filecount.out
    • filetype.out
    • filetype.sats
    • finger-tree.out
    • finger-tree.sats
    • futhark-types.out
    • futhark-types.sats
    • gmp.out
    • gmp.sats
    • haskell.dats
    • haskell.out
    • ifact2.dats
    • ifact2.out
    • integer_ptr.out
    • left-pad.dats
    • left-pad.out
    • levenshtein.dats
    • levenshtein.out
    • levenshtein2.dats
    • levenshtein2.out
    • levenshtein3.dats
    • levenshtein3.out
    • list_append.dats
    • list_append.out
    • memchr.out
    • memchr.sats
    • mydepies.out
    • mylibies.out
    • number-theory.dats
    • number-theory.out
    • numerics.dats
    • numerics.out
    • polyglot.dats
    • polyglot.out
    • prf_sqrt2.dats
    • prf_sqrt2.out
    • recursion.dats
    • recursion.out
    • spec.dats
    • spec.out
    • stack.out
    • str.dats
    • str.out
    • toml-parse.dats
    • toml-parse.out
    • types.out
    • types.sats
    • wc.dats
    • wc.out
    • wc2.dats
    • wc2.out
    • stdlib/
      • arith_prf.out
      • arith_prf.sats
      • array.out
      • array.sats
      • arrayref.out
      • arrayref.sats
      • basics_dyn.out
      • basics_dyn.sats
      • basics_gen.out
      • basics_gen.sats
      • bool.out
      • checkast.out
      • checkast.sats
      • filebas.out
      • filebas.sats
      • gnumber.out
      • gnumber.sats
      • gorder.out
      • gorder.sats
      • integer_fixed.out
      • integer_fixed.sats
      • integer_long.out
      • integer_long.sats
      • integer_ptr.out
      • integer_ptr.sats
      • integer_short.out
      • integer_short.sats
      • integer_size.out
      • integer_size.sats
      • intrange.out
      • intrange.sats
      • option_vt.out
      • option_vt.sats
      • unsafe.out
      • unsafe.sats
      • DATS/
        • bool.dats
        • bool.out
        • integer_fixed.dats
        • integer_fixed.out
        • integer_long.dats
        • integer_long.out
        • integer_ptr.dats
        • integer_ptr.out
        • integer_short.dats
        • integer_short.out
        • integer_size.dats
        • integer_size.out