Category:LSTS
![Language](http://static.miraheze.org/rosettacodewiki/thumb/2/27/Rcode-button-language-crushed.png/64px-Rcode-button-language-crushed.png)
This programming language may be used to instruct a computer to perform a task.
See Also: |
|
---|
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.