Category:LSTS

From Rosetta Code
(Redirected from LSTS)
This page is a stub. It needs more information! You can help Rosetta Code by filling it in!
Language
LSTS
This programming language may be used to instruct a computer to perform a task.
See Also:


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.