6 ms·
Show HN: An encoding/decoding tool for Martin David's theoretical S language
- brudgers 10y agoCurious if there is material on the web regarding the S language.
- ramadis 10y agoActually, 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 10y agoBroken link. Can you correct?
- deleted 10y ago[deleted]
- ramadis 10y agoIt's up again! Remove the cache if you can't access it.
- failrate 10y agoCorrect link: https://github.com/ramadis/slang https://github.com/ramadis/slang
- ramadis 10y agoThe 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 https://github.com/ramadis/slang