1
1
# SKI in TS
2
2
3
- An implementation of a parser, evaluator, printer, and visualizer for the
4
- [ SKI] ( https://en.wikipedia.org/wiki/SKI_combinator_calculus ) combinators in
5
- [ TypeScript] ( https://www.typescriptlang.org/ ) .
3
+ An implementation of a parser, evaluator, printer, and visualizer for
4
+ [ SKI] ( https://en.wikipedia.org/wiki/SKI_combinator_calculus ) .
5
+
6
+ ## Project Dependencies
7
+
8
+ * [ TypeScript] ( https://www.typescriptlang.org/ )
9
+ * [ Deno] ( https://deno.com/ )
10
+ * [ AssemblyScript] ( https://www.assemblyscript.org/ )
11
+
12
+ ## Artifacts
13
+
14
+ * [ JSR] ( https://jsr.io/@maxdeliso/typed-ski )
6
15
7
16
## Testing
8
17
@@ -12,22 +21,24 @@ Run the test suite:
12
21
deno run --allow-read --allow-run scripts/test.ts
13
22
```
14
23
15
- ## Books
24
+ ## Works Referenced
25
+
26
+ ### Books
16
27
17
- - [ Combinators: A Centennial View, Stephen Wolfram] ( https://www.amazon.com/dp/1579550436 )
18
- - [ To Mock a Mockingbird, Raymond Smullyan] ( https://www.amazon.com/dp/0192801422 )
19
- - [ Combinatory Logic Volume I, Haskell Brooks Curry & Robert Feys] ( https://www.amazon.com/dp/B0041N5RDC )
28
+ * [ Combinators: A Centennial View, Stephen Wolfram] ( https://www.amazon.com/dp/1579550436 )
29
+ * [ To Mock a Mockingbird, Raymond Smullyan] ( https://www.amazon.com/dp/0192801422 )
30
+ * [ Combinatory Logic Volume I, Haskell Brooks Curry & Robert Feys] ( https://www.amazon.com/dp/B0041N5RDC )
20
31
21
- ## Papers
32
+ ### Papers
22
33
23
- - D. A. Turner, "A new implementation technique for applicative languages,"
34
+ * D. A. Turner, "A new implementation technique for applicative languages,"
24
35
_ Software: Practice and Experience_ , vol. 9, no. 1, pp. 31-49, 1979. DOI:
25
36
10.1002/spe.4380090105
26
- - W. Stoye, T. J. W. Clarke, and A. C. Norman, "Some practical methods for rapid
37
+ * W. Stoye, T. J. W. Clarke, and A. C. Norman, "Some practical methods for rapid
27
38
combinator reduction," in _ Proceedings of the 1984 ACM Symposium on LISP and
28
39
Functional Programming_ (LFP '84), ACM, New York, NY, USA, pp. 159-166, 1984.
29
40
DOI: 10.1145/800055.802038
30
- - H. G. Baker, "CONS should not CONS its arguments, or, a lazy alloc is a smart
41
+ * H. G. Baker, "CONS should not CONS its arguments, or, a lazy alloc is a smart
31
42
alloc," _ ACM SIGPLAN Notices_ , vol. 27, no. 3, pp. 24-34, 1992. DOI:
32
43
10.1145/130854.130858
33
44
0 commit comments