ATS

This is a collection of several Haskell packages for use with the ATS language.

Goals

The following are goals of the libraries and tools contained herein:

• Make handling ATS code in Haskell easy

• Make building ATS easy

• Make dependency resolution for ATS packages easy

• Make building Haskell with ATS dependencies easy

• Make building ATS with Haskell dependencies easy

As of writing, building ATS code in Haskell is quite smooth, package management is unfortunately maladroit, and handling ATS code in Haskell is mostly manageable.

Tools

• ats-pkg: package management
• ats-format: automated formatter
• hs2ats: convert Haskell types to ATS types
• language-ats: Haskell parser & pretty-printer for ATS

More to come!

Contents

-------------------------------------------------------------------------------
 Language             Files       Lines         Code     Comments       Blanks
-------------------------------------------------------------------------------
 Alex                     1         641          567           12           62
 Bash                     1           8            6            0            2
 Cabal                    8         704          650            0           54
 Cabal Project            1          34           26            1            7
 Dash                     1          54           38            0           16
 Dhall                    4         574          499            3           72
 Happy                    1        1039          886           34          119
 Haskell                 45        5170         4269          185          716
 Justfile                 1          62           49            0           13
 Markdown                28         982          694            0          288
 Nix                      2          24           23            0            1
 TeX                      1          66           46            0           20
 TOML                     1           3            3            0            0
 YAML                     4         198          181            0           17
-------------------------------------------------------------------------------
 Total                   99        9559         7937          235         1387
-------------------------------------------------------------------------------