Studio

Free playground · emit · cuni check · notelog · critic book

GitHub idle

Source .cuni

⌘/Ctrl+Enter run · no install needed

Targets


        

        

        

      


      

        

          

            
            
          

          
        


        

          

            Lab notebook: every emit/check/run appends here. Add your own notes.
          

          

          

            
            
          

        


        

          

            Structured critiques: typeck/exactness auto-entries + your design notes.