pages tagged ‘ATS’

  • fibonacci in maude and ats (mon 24 oct 2022)

    fibonacci numbers in the languages maude and ATS.

  • a little ats program (fri 16 sep 2022)

    a little program in a little-known, little-documented language called ATS.