Jump to content

Category:LSTS

From Rosetta Code

Revision as of 04:38, 7 February 2023 by Andrew-johnson-4 (talk | contribs) (Following step 1 of page creation)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This page is a stub. It needs more information! You can help Rosetta Code by filling it in!

LSTS
This programming language may be used to instruct a computer to perform a task.

See Also:

LSTS on the HOPL

Listed below are all of the tasks on Rosetta Code which have been solved using LSTS.

LSTS is a proof assistant and maybe a programming language.

LSTS as a programming language is a strictly typed flavor of functional programming, inspired by Coq, ML, and Haskell.

This category currently contains no pages or media.

Retrieved from "https://rosettacode.org/wiki/Category:LSTS?oldid=336590"

Cookies help us deliver our services. By using our services, you agree to our use of cookies.