─────┬────────── $𝖘𝖇𝖕/𝖓𝖊𝖜-𝖘𝖚𝖉𝖔𝖐𝖚-𝖗𝖚𝖑𝖊𝖘.𝖘𝖆𝖕𝖕𝖍𝖎𝖗𝖊 ──────────────────────────────────────────────────────

    0┊-----------------------------| Standard Sudoku Rules in Sapphire |------------------------------

    1┊--|∙An∙n·n⨯n·n∙grid∙of∙cells,∙divided∙into∙n⨯n∙non-overlapping∙n⨯n∙blocks.                     

    2┊--|∙Each∙cell∙is∙to∙be∙filled∙with∙a∙number∙from∙{1⋯n·n}∙so∙that∙each∙row,                     

    3┊--|∙column∙and∙block∙have∙the∙complete∙range∙with∙no∙repeats.                                  

    4┊--|∙Sapphire∙uses∙sexpr∙inspired∙function/relation∙notation∙with∙turtles:∙⦗⦘                   

    5┊                                                                                               

    6┊I={0⋯n·n⨫1}∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙--|∙0∙based∙indexing                                         

    7┊∀a∈I∙∀b∈I∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙--|∙for∙all∙cells                                            

    8┊∙∙⦗sol∙a∙b⦘∈{1⋯n·n}∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙--|∙each∙cell∙is∙in∙the∙range∙1⋯n·n                          

    9┊∙∙⦗blk∙a∙b⦘=(a⨫1)÷n∙+∙(b⨫1)÷n·n∙∙∙--|∙x÷y∙produces∙the∙integer∙result∙⌊x/y⌋∙in∙Sapphire        

   10┊∙∙∀c∈I∙∀d∈I                                                                                    

   11┊∙∙∙∙⦗sol∙a∙b⦘=⦗sol∙c∙d⦘∙⇒∙a=c∧b=d∙∨∙a¬=c∧b¬=d∧⦗blk∙a∙b⦘¬=⦗blk∙c∙d⦘                             

─────┴────────────────────────────────────────────────────────────────────────────────────────────────