aboutsummaryrefslogtreecommitdiff
path: root/bridge/src
diff options
context:
space:
mode:
authorDmitry Petrashko <dark@d-d.me>2016-08-29 15:18:46 +0200
committerGitHub <noreply@github.com>2016-08-29 15:18:46 +0200
commit213e65be82601a23cbd0ef9f86a23460297533e1 (patch)
tree1a81981fd87541afe358349a850898ee62c2e832 /bridge/src
parent959ea0cad3a2ffe441b5e406d26cddbd6cc431ee (diff)
downloaddotty-213e65be82601a23cbd0ef9f86a23460297533e1.tar.gz
dotty-213e65be82601a23cbd0ef9f86a23460297533e1.tar.bz2
dotty-213e65be82601a23cbd0ef9f86a23460297533e1.zip
Update readme: mark Exhaustivity checks & multiv.eq. as implemented
Diffstat (limited to 'bridge/src')
0 files changed, 0 insertions, 0 deletions