[Agda] What do "constraints" mean?

[Jason -Zhong Sheng- Hu]

Hi,

I find that there are two gestures I rarely used:

C-c C-=
Show constraints
C-c C-s
Solve constraints

What are constraints? In what situations you will use these two gestures?

Sincerely Yours,

Jason Hu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190319/1b0097e4/attachment.html>