In , ever wonder what goes in the brackets in `destruct x as [...]` or `intros [...]`? Wonder no more:

It has some neat features if you're into unreadable one-liner tactics (that noone is going to read anyway) like me.

Sign in to participate in the conversation

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !