defk-rt2.7: Defk.Facts owns the range-facts scope; the provers stop reading the compiler's env - #65

defk-rt2.7: Defk.Facts owns the range-facts scope; the provers stop reading the compiler's env#65

DanielLuning merged 1 commit into

mainDanielLuning/defk:mainfrom

defk-rt2.7/facts-scopeDanielLuning/defk:defk-rt2.7/facts-scopeCopy head branch name to clipboard