On 1/16/2019 8:52 PM, Johannes Loher wrote: > In a later post, H. S. Theo describes some of the problems with void in > more detail. What is your stance on actually fixing void from a type > theoretical perspective? Do you think that is practical? Too much water under that bridge.