Changes
14 changed files (+76/-45)
-
-
@@ -177,7 +177,7 @@ - ~~look up free Ren'Py assets?~~- ~~associate image with character object: https://www.renpy.org/doc/html/dialogue.html#say-with-image-attributes~~ - ~~skip main menu: https://www.renpy.org/doc/html/label.html#special-labels~~ - ~~transparentize char images~~ - Shower bg - ~~Shower bg~~ - ~~favicon~~ be careful about image sizes
-
-
audio/boundless2.ogg (new)
-
audio/deviation2.ogg (new)
-
audio/happy_timepass.ogg (new)
-
-
-
audio/nomogus41.ogg (new)
-
audio/push_ahead.ogg (new)
-
-
-
@@ -125,37 +125,37 @@ Z = L(1, A(L(2, A(1, L(3, A(A(2, 2), 3)))), L(2, A(1, L(3, A(A(2, 2), 3))))))# From https://lambster.dev/ # Same as K # true = L(1, L(2, 1)) # false = L(1, L(2, 2)) # and_ = L(1, L(2, A(A(1, 2), 1))) # or_ = L(1, L(2, A(A(1, 1), 2))) # not_ = L(1, A(A(1, false), true)) # if_ = L(1, L(2, L(3, A(A(1, 2), 3)))) # # Can also use pair/first/second for lists # pair = L(1, L(2, L(3, A(A(3, 1), 2)))) # first = L(1, A(1, true)) # second = L(1, A(1, false)) # nil = L(1, true) # null = L(1, A(1, L(2, L(3, false)))) # tree = L(1, L(2, L(3, A(A(1, 2), 3)))) # datum = L(1, A(1, first)) # left = L(1, A(A(1, second), first)) # right = L(1, A(1, second)) # incr = L(1, L(2, L(3, A(2, A(1, 3))))) # plus = L(1, L(2, A(1, incr))) # times = L(1, L(2, A(1, A(plus, 2)))) # iszero = L(1, A(A(1, L(2, false)), true)) # # Church numerals # zero = false # one = L(1, L(2, A(1, 2))) # two = L(1, L(2, A(1, A(1, 2)))) # three = L(1, L(2, A(1, A(1, A(1, 2))))) # four = L(1, L(2, A(1, A(1, A(1, A(1, 2)))))) # five = L(1, L(2, A(1, A(1, A(1, A(1, A(1, 2))))))) # six = L(1, L(2, A(1, A(1, A(1, A(1, A(1, A(1, 2)))))))) # seven = L(1, L(2, A(1, A(1, A(1, A(1, A(1, A(1, A(1, 2))))))))) # eight = L(1, L(2, A(1, A(1, A(1, A(1, A(1, A(1, A(1, A(1, 2)))))))))) # nine = L(1, L(2, A(1, A(1, A(1, A(1, A(1, A(1, A(1, A(1, A(1, 2))))))))))) ltrue = L(1, L(2, 1)) lfalse = L(1, L(2, 2)) land = L(1, L(2, A(A(1, 2), 1))) lor = L(1, L(2, A(A(1, 1), 2))) lnot = L(1, A(A(1, lfalse), ltrue)) lif = L(1, L(2, L(3, A(A(1, 2), 3)))) # Can also use pair/first/second for lists lpair = L(1, L(2, L(3, A(A(3, 1), 2)))) lfirst = L(1, A(1, ltrue)) lsecond = L(1, A(1, lfalse)) lnil = L(1, ltrue) lnull = L(1, A(1, L(2, L(3, lfalse)))) ltree = L(1, L(2, L(3, A(A(1, 2), 3)))) ldatum = L(1, A(1, lfirst)) left = L(1, A(A(1, lsecond), lfirst)) right = L(1, A(1, lsecond)) lincr = L(1, L(2, L(3, A(2, A(1, 3))))) lplus = L(1, L(2, A(1, lincr))) ltimes = L(1, L(2, A(1, A(lplus, 2)))) liszero = L(1, A(A(1, L(2, lfalse)), ltrue)) # Church numerals lzero = lfalse lone = L(1, L(2, A(1, 2))) ltwo = L(1, L(2, A(1, A(1, 2)))) lthree = L(1, L(2, A(1, A(1, A(1, 2))))) lfour = L(1, L(2, A(1, A(1, A(1, A(1, 2)))))) lfive = L(1, L(2, A(1, A(1, A(1, A(1, A(1, 2))))))) lsix = L(1, L(2, A(1, A(1, A(1, A(1, A(1, A(1, 2)))))))) lseven = L(1, L(2, A(1, A(1, A(1, A(1, A(1, A(1, A(1, 2))))))))) leight = L(1, L(2, A(1, A(1, A(1, A(1, A(1, A(1, A(1, A(1, 2)))))))))) lnine = L(1, L(2, A(1, A(1, A(1, A(1, A(1, A(1, A(1, A(1, A(1, 2)))))))))) # Tests
-
-
-
@@ -47,9 +47,9 @@ ## These three variables control, among other things, which mixers are shown## to the player by default. Setting one of these to False will hide the ## appropriate mixer. define config.has_sound = True define config.has_sound = False define config.has_music = True define config.has_voice = True define config.has_voice = False ## To allow the user to play a test sound on the sound or voice channel,
-
-
-
-
@@ -43,6 +43,7 @@ # Skip the main menu and immediately start the gamelabel start: scene bg codebase show kublai play music "push_ahead.ogg" k "Huh?" k "What are you doing here?"
-
@@ -89,11 +90,12 @@ k "Dafny is a verification-aware programming language that makes it easy to mathematically prove properties about your code!"k "Isn't that the coolest thing ever? Other than Kublai: Star Rail, of course." k "I've even managed to prove that P equals NP using Dafny!" g "COOL!! You gotta show me your proof sometime!" (screen="shake_say") g "Wait oh shoot, I just realized we're gonna be late to SHL's talk! Let's get going!" g "Wait OH SHOOT, I just realized we're gonna be late to SHL's talk! Let's get going!" k "No way!" g "Hey, I'll download Kublai: Star Rail if you come with me to this talk!" k "Fine! But you have to leave a five-star review too!" play music "happy_timepass.ogg" fadeout 1.0 scene bg bathroom with dissolve show shl at left with moveinleft s "Hi everyone! I'm SHL the fox, and I'm the tenured head of mathematics at https://unnamed.website and listed as the coauthor on at least 69 research papers."
-
@@ -168,6 +170,7 @@ s "And it's not just a matter of looking at experiments from particle accelerators or telescopes, you know, in space and things like that,"s "But there might be very accessible phenomena that makes us think that physics is actually grossly incomplete, and among those you have what are called {i}unidentified flying objects{/i}." show fenwick angry at right with vpunch play music "intense_momentloop.ogg" f "WHAT??? UFOs? Are you insane? I thought you were a serious mathematician!" s "I am! I'm very serious. And I can put on my glasses if you think I don't look smart enough." f "SHL, I respect your intellect, but in fact I think you're also smart enough to convince yourself that you can't be wrong."
-
@@ -239,14 +242,16 @@ k "And write a constructor for this class that ensures false."hide constructor show proof at topleft k "And now we can construct an instance of that class, assert false, and declare victory!" stop music scene black $ assert False # Click ignore to continue scene black with pixellate k "Huh?" scene bg paper show kublai at right show shl at left with pixellate play music "deviation2.ogg" k "What are we doing here?" s "Kublai! You fool! You can't prove false is true!" k "Wait, why not? Dafny said my proof was completely correct and rigorous!"
-
@@ -270,7 +275,7 @@hide fenwick show kublai at right k "What the heck just happened?" s "Hmmm, I'm not sure either..." s "Hmmm... I'm not sure either..." # [0, 0, 0, 0] call level(2, [L(1, L(2, 3))])
-
@@ -285,6 +290,10 @@# [1, 0, 1, 1] call level(4, [A(1, 2), L(1, 2)]) play music "strange_inspiration.ogg" fadeout 1.0 k "We did... something!" k "But I'm still pretty confused!" # [1, 2, 1, 0, 1, 1] call level(5, [L(1, 1), L(1, 2), A(1, A(2, 3))])
-
@@ -293,23 +302,45 @@ call level(6, [L(1, L(2, A(1, A(2, L(3, 4))))), L(1, L(2, 2)), L(1, L(2, 1))])# Possible solutions # [0, 0, 0, 2, 2, 0, 1, 0, 2, 0, 0, 1, 0, 2, 0, 0] # [0, 2, 0, 2, 0, 2, 0, 2, 1, 2, 0, 2, 2, 0, 2, 1, 2, 2] # [0, 2, 0, 2, 0, 2, 1, 2, 0, 2, 2, 0, 2, 1, 2, 2] call level(7, [L(1, L(2, 1)), L(1, A(A(A(A(1, 2), 3), 4), L(5, 6))), L(1, A(1, 1))]) # TODO call level(8, [A(1, A(2, A(3, A(4, 5)))), L(1, L(2, 1)), L(1, 1), L(1, 1), L(1, 1), L(1, 1)]) # Make 8 more levels if have time play music "nomogus41.ogg" fadeout 1.0 call level(9, []) call level(10, []) call level(11, []) call level(12, []) play music "nightmarechipheavy3.144.ogg" fadeout 1.0 call level(13, []) k "blah" k "blah" k "blah" k "blah" call level(14, []) call level(15, []) #then they return back to the normal site and Kublai asks if they wanna hear the proof again and everyone screams, roll the credits, then show link to the proof of false webcomic and the usual homepage at /home.html call level(16, []) # TODO: and you unlock a tang poetry minigame play music "boundless2.ogg" fadeout 1.0 # credits # Dafny # Isaac # Music: https://opengameart.org/content/strange-inspiration play music "push_ahead.ogg" fadeout 1.0 #then they return back to the normal site and Kublai asks if they wanna hear the proof again and everyone screams, roll the credits, then show link to the proof of false webcomic and the usual homepage at /home.html # TODO: and you unlock a tang poetry minigame play music "happy_timepass.ogg" fadeout 1.0 jump minigame # That's the end # $ renpy.quit()
-
-