From: Jean Privat Date: Sat, 23 May 2015 01:01:31 +0000 (-0400) Subject: Merge: model: introduce the bottom type X-Git-Tag: v0.7.5~34 X-Git-Url: http://nitlanguage.org Merge: model: introduce the bottom type An old branch that was on some disk that I forgot to PR. While the bottom type is useless now, it should be useful on future PR. Type theorists and lattice fanboys might like it. Pull-Request: #1374 Reviewed-by: Alexandre Terrasa Reviewed-by: Lucas Bajolet --- b70c8c44a35fcd949f60ebf812af2dd8522811c6