Index of /papers/POPL2022/NT/assets/player

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      waiting_bezel.png       2023-08-06 14:50  1.4K  
      styles.css              2023-08-06 14:50   13K  
      spinner.png             2023-08-06 14:50   25K  
      right_arrow_mobile_n..> 2023-08-06 14:50  837   
      right_arrow_mobile_n..> 2023-08-06 14:50  1.8K  
      right_arrow_mobile_d..> 2023-08-06 14:50  775   
      right_arrow_mobile_d..> 2023-08-06 14:50  1.8K  
      pdfjs/                  2023-08-06 15:40    -   
      main.js                 2023-08-06 14:50  479K  
      left_arrow_mobile_n.png 2023-08-06 14:50  821   
      left_arrow_mobile_n-..> 2023-08-06 14:50  1.9K  
      left_arrow_mobile_d.png 2023-08-06 14:50  736   
      left_arrow_mobile_d-..> 2023-08-06 14:50  1.8K  
      kn-cloud_pd_help_btn..> 2023-08-06 14:50  1.2K  
      kn-cloud_pd_help_btn..> 2023-08-06 14:50  1.3K  
      kn-cloud_pd_help_btn..> 2023-08-06 14:50  1.3K  
      close_p@2x.png          2023-08-06 14:50  4.1K  
      close_n@2x.png          2023-08-06 14:50  4.3K  
      close_hi@2x.png         2023-08-06 14:50  4.1K  
      KNTransitionSwoosh_S..> 2023-08-06 14:50  8.2K  
      KNTransitionSlide_Bl..> 2023-08-06 14:50  4.8K  
      Help.png                2023-08-06 14:50   65K  
      Acknowledgements.pdf    2023-08-06 14:50   65K