Show HN: An encoding/decoding tool for Martin David's theoretical S language (ramadis.github.com)

24 points by ramadis 9y ago ↗ HN

7 comments

[ 3.6 ms ] story [ 8.0 ms ] thread

Curious if there is material on the web regarding the S language.

Actually, beside the book, there is not much. Maybe you can find some material citing the book in exercises or lectures from a theoretical CS course.

simonhughes22 9y ago ↗

Broken link. Can you correct?

[deleted] 9y ago ↗

(comment deleted)

ramadis 9y ago ↗

It's up again! Remove the cache if you can't access it.

failrate 9y ago ↗

Correct link: https://github.com/ramadis/slang

ramadis 9y ago ↗

The S language is a theoretical programming language proposed by Martin Davids in his book Computability, Complexity and Languages. It is composed by labels, variables, and 4 basic instructions, and its used between many things, to prove that there are natural functions (F: N^n -> N) which can not be computed. Awesome!

If you want to see the repo, you can find it in https://github.com/ramadis/slang