Reorganise the way the lifted reference implementation works
[packages/dph.git] / dph-lifted-base /
drwxr-xr-x   ..
drwxr-xr-x - Data
-rw-r--r-- 1660 LICENSE
-rw-r--r-- 47 Setup.hs
-rw-r--r-- 1804 dph-lifted-vseg.cabal
-rw-r--r-- 2 ghc-stage