This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
sagnik
sagnikc4.bsky.social
did:plc:jvbvugtcbqe6xwofyktlg7qj
interested about programming languages and type theory | writes stuff on philosophy from a beginner's take.
https://sagnikc395.github.io