-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathexamples.xl
executable file
·36 lines (30 loc) · 2.37 KB
/
examples.xl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
/+Few URI path to experiment with the server
/Set-up a shared demo context
/escalate/escape//mudo+chut/set//demo+89e495e7941cf9e40e6980d14a16bf023ccd4c91/paddock//x/arrow//fall+demo/,/var+x+
/escalate/escape//mudo+chut/set/demo/escape/paddock//x/arrow/escalate//escape+escape//demo+demo/var+x+
/demo/hello+world
/demo/set/hello/Content-Typed/text%2Fhtml+<html>hello people<%2Fhtml>
/demo/set/upload/Content-Typed/text%2Fhtml+<html><body>Upload<form%20method='POST'%20action='%2Flambda%2Fx%2Fdemo%2Froot%2Bx'%20enctype="multipart%2Fform-data"><input%20type="file"%20name="file"%2F><br%2F><input%20type="submit"%20value="Upload"%2F><%2Fform><%2Fbody><%2Fhtml>
// I set up a server in my VM and check file upload with this
http://192.168.0.2:8008/set/upload/Content-Typed/text%2Fhtml+<html><body>Upload<form%20method='POST'%20action='%2F'%20enctype="multipart%2Fform-data"><input%20type="file"%20name="file"%2F><br%2F><input%20type="submit"%20value="Upload"%2F><%2Fform><%2Fbody><%2Fhtml>
http://192.168.0.2:8008/upload
http://192.168.0.2:8008/$Hbc77e22820d15d71af5aa7635912045dc74b50e2223ac61e5967c5e5
/Experiments with fixed point combinator (recursion theory)
/set/Y/lambda/f//lambda/x/f/lambda/v/let//a/x+x/a+v/lambda/x/f/lambda/v/let//a/x+x/a+v
/set//set+rec/macro/binding/let//name/tailOf+binding/let//body/headOf+binding/arrow/set//var+name/Y/lambda//var+name+/var+body
//set+rec/reverse/lambda/x/let//test/isPair+x/if/test//let//h/headOf+x/let//h/reverse+h/let//t/tailOf+x/let//t/reverse+t/arrow//var+h/var+t+x
/reverse//4+3/2+1
/reverse/9/8/7/6/5/4/3/2/1+0
/reverse function by using the rlambda operator
/set/reverse/rlambda/x/let//repeat+it/let//test/isPair+x/if/test//let//h/headOf+x/let//h/repeat+h/let//t/tailOf+x/let//t/repeat+t/arrow//var+h/var+t+x
/map function
/set/or/lambda/x/lambda/y/if/x/x/if/y/y+
/set/map/lambda/sieve/lambda/fn/rlambda/list/let//rec+it/let//test/sieve+list/if/test//fn+list/let//test/isAtom+list/if/test//var+list/let//t/tailOf+list/let//t/rec+t/let//h/headOf+list/let//h/rec+h/arrow//var+t/var+h
/set/isAtom/lambda/a/let//test/isPair+a/if/test/+true
/set/clone/lambda/x/arrow//var+x/var+x
///map+isAtom+clone+//1+2/3+4
/set/equality/lambda/ref/lambda/x/equal/x+ref
/set/constant/lambda/c/lambda/x+c
///map/equality+1/constant+un//1+2/3+4
/set/replace/lambda/from/lambda/to/lambda/in///map/equality+from/constant+to/var+in
///replace+2+two//1+2/3+4