quox/lib/Quox/Whnf.idr

module Quox.Whnf

import public Quox.Whnf.Interface       as Quox.Whnf
import public Quox.Whnf.ComputeElimType as Quox.Whnf
import public Quox.Whnf.Main            as Quox.Whnf