Files
Nim/lib
Andreas Rumpf 1e97b420bb fixes #7167 (#11300)
* fixes #7167
* spec: distinct types can be ordinal types
* bootstrapping issue
2019-05-22 11:50:05 +02:00
..
2017-02-20 17:24:19 +02:00
2019-05-21 21:31:40 +02:00
2019-05-22 11:50:05 +02:00
2013-03-16 23:53:07 +01:00
2018-11-23 11:58:29 +01:00
2014-08-28 09:59:26 +02:00
2019-05-06 21:19:40 +02:00