This is a talk page for User:Pandaqwanda/qwandalang| [[List of ideas]] https://esolangs.org/w/index.php?diff=89339&oldid=88059 * Pandaqwanda * (+206) /* Joke/Silly Ideas */ 17:05:22 int-e: i found some very elegant functions for pred and iszero that can do it 17:06:02 pred is even simpler than for church numerals 17:11:54 [[List of ideas]] https://esolangs.org/w/index.php?diff=89340&oldid=89339 * Pandaqwanda * (+653) /* Joke/Silly Ideas */ 17:16:51 [[Works in progress]] https://esolangs.org/w/index.php?diff=89341&oldid=88273 * Pandaqwanda * (+118) 17:37:35 -!- wib_jonas has quit (Ping timeout: 256 seconds). 17:54:32 tromp: IIRC pred for Church numerals is monstrous but that’s fixed when moving to Church—Scott, they recurse providing both f(n−1) as Church ones do and n−1 as Scott ones do, so we can use that last plain n−1 for simplest pred in the world 17:56:49 of course CS is more complex than C or S alone but I’d think that’s not a bit of complexity to shy from, for instance I have seen the same way in usual formulations of primitive recursive framework, where prim. recursion operator provides both f(n−1) and n−1 in recursive step 18:22:04 [[BrainSoup]] https://esolangs.org/w/index.php?diff=89342&oldid=89326 * PixelatedStarfish * (+34) 18:22:34 [[BrainSoup]] https://esolangs.org/w/index.php?diff=89343&oldid=89342 * PixelatedStarfish * (+2) 18:26:58 [[FFRISC]] https://esolangs.org/w/index.php?diff=89344&oldid=87652 * PixelatedStarfish * (+0) 18:28:05 -!- sprock has quit (Ping timeout: 268 seconds). 18:31:17 This inspired me to look at what Cammy does. I have (comp (pr (comp zero (pair id id)) (comp fst (pair succ id))) snd) for pred. The outside is (comp (pr X F) snd); it's taking the right-hand side of a pair made with primitive recursion. 18:32:53 The inner arrows are \x.(0,0) and \(x,y).(succ x,x) passing a pair of nats through the recursion. The left-hand side of the pair is always n, and the right-hand side is effectively n-1. 18:45:08 -!- zzo38 has joined. 18:49:49 i wouldn't call λn.λf.λx.n(λg.λh.h(g f))(λu.x)(λu.u) monstrous... 18:51:03 Ow. Lots of lambdas hurt my head. But I bet that lots of pointfree code hurts everybody else's head, so I shouldn't complain. 18:51:21 lots of indirection hurts the head. 18:51:32 because we strain our necks to keep track of the wires. 18:51:38 The variable names help a lot. Seeing \nfx. at the beginning is a clue. 18:53:04 the cute thing about SK-numerals is that pred 0 gives you a genuine -1. such that succ -1 is 0 again... 18:53:46 but the iszero test only works on nonnegative SK-numerals 19:09:24 -!- sprout has quit (Ping timeout: 268 seconds). 19:14:47 -!- SGautam has joined. 19:14:54 -!- b_jonas has joined. 19:15:22 -!- Yes has joined. 19:15:44 hello everyone 19:15:49 how's it going 19:16:00 jo 19:16:02 hi 19:16:09 Trying to figure out why Lilypond won't draw my staves. 19:16:14 what 19:16:46 Lilypond is a music typesetter. For some reason, it's not drawing all of the staves of music notation. It's drawing the title and the footer and the chords, but not the notes. 19:16:50 How are you? 19:17:05 i'm fine, what about you? 19:17:44 Corbin: so it's also not drawing anything that would go on the staffs, like the notes and bars? 19:18:02 I'm trying to get Lilypond to draw music files that I haven't touched in nearly a decade. Past Corbin did not leave any notes, which is typical. 19:18:03 -!- Yes has quit (Client Quit). 19:18:41 b_jonas: Exactly, yes. I figure that the header layout has changed, and now I have to explicitly include stuff that used to be implicit. 19:27:02 Yep, removing about half the header causes everything to work. Just gotta read the manual and see exactly how to fix it up, but I guess I'm in business. 19:27:18 Lilypond is so simple when it works, but it's so brittle and breaks easily. Just like playing music, I guess~ 19:34:48 -!- sprout has joined. 19:39:37 -!- sprout has quit (Ping timeout: 268 seconds). 19:53:26 -!- sprock has joined. 19:56:00 Gute Nacht! 19:57:13 [[Lananang]] N https://esolangs.org/w/index.php?oldid=89345 * Heptor * (+597) Created page with " '''Lananang''' is a ==Overview== {| class="wikitable" |- ! Instruction !! Description |- | n<128> || A number variable with the value 128. Number..." 20:00:27 [[Lananang]] https://esolangs.org/w/index.php?diff=89346&oldid=89345 * Heptor * (+154) 20:05:51 [[Lananang]] https://esolangs.org/w/index.php?diff=89347&oldid=89346 * Heptor * (+332) 20:43:45 -!- sprout has joined. 20:49:17 -!- tech_exorcist has quit (Quit: see you tomorro). 20:58:33 -!- sprock has quit (Ping timeout: 268 seconds). 21:10:49 a non fungeoid token language 21:10:52 -!- FreeFull has quit (Ping timeout: 268 seconds). 21:15:34 [[Lananang]] https://esolangs.org/w/index.php?diff=89348&oldid=89347 * Heptor * (+3424) 21:20:52 [[Lananang]] https://esolangs.org/w/index.php?diff=89349&oldid=89348 * Heptor * (+3) 21:23:12 -!- FreeFull has joined. 21:51:18 -!- arseniiv has quit (Quit: gone too far). 22:14:18 -!- SGautam has quit (Quit: Connection closed for inactivity). 23:36:52 -!- oerjan has joined. 23:40:50 -!- velik has quit (Remote host closed the connection).