aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/bindpat.ur
Commit message (Expand)AuthorAge
* Adding Selenium-based checking to tests.Gravatar Artyom Shalkhakov2018-05-08
* Monadic bind supports patternsGravatar Adam Chlipala2014-05-02