Jump to content

Category:LSTS

From Rosetta Code
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.

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