Popular repositories Loading

1. ATS-Experiments ATS-Experiments Public

   Small programs testing out features of the ATS (Postiatis) programming language.

   ATS 6

2. theta theta Public

   Haskell 2

3. ats_csv_lexer ats_csv_lexer Public

   A program to parse CSV files, written in ATS (ATS2).

   ATS 1

4. Lambda-Calculus-by-Linear-HOAS Lambda-Calculus-by-Linear-HOAS Public

   An interpreter of lambda calculus in ATS2 that uses a HOAS encoding in linear types.

   ATS 1

5. LAMPA LAMPA Public

   A small parser library for the lambda calculus with define macros.

   C

6. BOTTOM_UP BOTTOM_UP Public

   C