This is the first I’m hearing of Ladybird. Looks really interesting and glad to see there are more options for browsers coming
Undearius
- 0 Posts
- 2 Comments
Joined 3 years ago
Cake day: June 5th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
It took me a long time to figure out that “GRTT” is “Graded Modal Type Theory”. Letting others know, if they want to look into it further.