pages tagged ‘cool languages’

  • a little ats program (fri 16 sep 2022)

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

  • a few undocumented beluga features (tue 12 jul 2022)

    some undocumented features i found while looking through the source code of the proof language beluga.

  • digitle in maude (mon 14 mar 2022)

    a solver for digitle (numbers countdown) in maude, a language for rewriting systems.