@randyisrandom.bsky.social
Formal Methods/Digital Philology #OCaml #Rocq #Agda #C
Investigating the illusion of discreetness
Investigating the illusion of discreetness
No replies yet.
Lightnews
Add to your homescreen for quick access.
Add to Home Screen
Works just like the mobile app.
Install this app on your iPhone: tap the share button and then Add to Home Screen.
1
Tap the Share button
in Safari's toolbar
2
Select "Add to Home Screen"
from the menu
3
Tap "Add"
The app will appear on your home screen