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

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

    1┊--|∙An∙n^2⨯n^2∙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^2}∙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┊Idx={0⋯n^2⨫1}^2∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙--|∙0∙based∙indexing∙by∙pairs                                

    7┊∀⟨a∙b⟩∈Idx∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙∙--|∙for∙all∙cells                                            

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

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

   10┊∙∙∀⟨c∙d⟩∈Idx                                                                                   

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

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