[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.15229451 [View]
File: 493 KB, 618x968, A Phone for Dra[g]on Maids.png [View same] [iqdb] [saucenao] [google]
15229451

>>15213505
Good Morning Math /Sci/entists!

Please tell me books about SKI Calculus. I think it might be possible to connect Maid Space to SKI Calculus and use Maid Space as a virtual machine for Computer Programs expressed as Combinators.

If this is true then I can count a Maid Space and give it to the virtual machine and see was it a Maid Mind Computer Program with less steps because Maid Space is already a program and counting gets next program.

Thank you /sci/entists for reading my post.

Navigation
View posts[+24][+48][+96]