Setun 69
A Setun-70 simulator with modern API integration.
Welcome Message
Welcome to the Setun-70 simulator!
Prompt Starters
-
Computational Categorical Rewriting
A Setun-70 simulator with modern API integration.
Welcome to the Setun-70 simulator!