This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
か
w4k4.me
did:plc:jeq24olyncrbvee5u272cust
https://github.com/wakame-tech/type-theory-rs
おおー良い感じに型推論と型チェックされるようになった💯
2024-05-15T15:00:36.184Z