除了作为类型构造函数的语法外,我还想使用声明的语法自动大小写参数。data Silly : Set where在这里,我想要证明P n m发生在n和m参数之间,但这是不可能的,因为两者都需要声明才能表达出来。,它使用的是goo而不是我的语法。有没有办法用我声明的语法对大小写进行拆分?syntax goo n i m
是否有一些查询参数可以传递给url,这样它就不会被放入a/b测试中,也不会被重定向。例如,假设我正在运行一个拆分URL测试我想给某人一个链接到mywebsite.com/a,而不包括在拆分的URL测试中,确保他们真的到达mywebsite.com/a而不是mywebsite.com/b。是否有一些查询参数或其他方法可以确保这一点?
(示例: my