diff --git a/hw/comp/cpu/apple/shop/biggeek.txt b/hw/comp/cpu/apple/shop/biggeek.txt
new file mode 100644
index 000000000..45615a683
--- /dev/null
+++ b/hw/comp/cpu/apple/shop/biggeek.txt
@@ -0,0 +1 @@
+https://biggeek.ru/
diff --git a/hw/comp/cpu/apple/shops.txt b/hw/comp/cpu/apple/shop/i-store.txt
similarity index 100%
rename from hw/comp/cpu/apple/shops.txt
rename to hw/comp/cpu/apple/shop/i-store.txt
diff --git a/pl/web/js/libfws/ui/react/native/ios.txt b/pl/web/js/libfws/ui/react/native/ios.txt
index 76b695583..4600304bb 100644
--- a/pl/web/js/libfws/ui/react/native/ios.txt
+++ b/pl/web/js/libfws/ui/react/native/ios.txt
@@ -3,29 +3,7 @@ https://github.com/infinitered/ignite
 
 https://cocoapods.org/
 https://guides.cocoapods.org/using/getting-started.html
-
-"pkg-config --exists libffi"
-| pkg-config --libs libffi
-=> "-lffi\n"
-"xcrun clang -o conftest -I/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.0.sdk/System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/include/ruby-2.6.0/universal-darwin22 -I/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.0.sdk/System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/include/ruby-2.6.0/ruby/backward -I/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.0.sdk/System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/include/ruby-2.6.0 -I. -D_XOPEN_SOURCE -D_DARWIN_C_SOURCE -D_DARWIN_UNLIMITED_SELECT -D_REENTRANT    -g -Os -pipe -DHAVE_GCC_ATOMIC_BUILTINS -DUSE_FFI_CLOSURE_ALLOC conftest.c  -L. -L/System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/lib -L. -L/AppleInternal/Library/BuildRoots/d9889869-120b-11ee-b796-7a03568b17ac/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX13.5.Internal.sdk/usr/local/lib     -lruby.2.6   "
-In file included from conftest.c:1:
-In file included from /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.0.sdk/System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/include/ruby-2.6.0/ruby.h:33:
-/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.0.sdk/System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/include/ruby-2.6.0/ruby/ruby.h:24:10: fatal error: 'ruby/config.h' file not found
-#include "ruby/config.h"
-         ^~~~~~~~~~~~~~~
-/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.0.sdk/System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/include/ruby-2.6.0/ruby/ruby.h:24:10: note: did not find header 'config.h' in framework 'ruby' (loaded from '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/System/Library/Frameworks')
-1 error generated.
-checked program was:
-/* begin */
-1: #include "ruby.h"
-2:
-3: int main(int argc, char **argv)
-4: {
-5:   return 0;
-6: }
-/* end */
-
-ruby.h:24:10: note: did not find header 'config.h' in framework 'ruby'
+    gem install cocoapods
 
 rvm and ruby upgrade
 https://phongyewtong.medium.com/flutter-did-not-find-header-config-h-in-framework-ruby-when-running-sudo-gem-install-cocoapods-ef3f77ed8a16
diff --git a/science/hott/agda.txt b/science/hott/agda.txt
new file mode 100644
index 000000000..661e50841
--- /dev/null
+++ b/science/hott/agda.txt
@@ -0,0 +1,3 @@
+2023
+FuncProgSweden - "Super Haskell": an introduction to Agda by André Muricy of 1:10:06
+    https://www.youtube.com/watch?v=OSDgVxdP20g