| 
 Copyright    : ( c )   , 2016 
 License      :      :  
 Stability    : experimental 
 Portability : POSIX 

 Big step rules and helpers for the N language . 

 This module reexports ' Term . Eval . BigStep . Strict ' . 
 There is also ' Term . Eval . BigStep . Lazy ' if you need it . 

Copyright   : (c) Dave Laing, 2016
License     : BSD3
Maintainer  : 
Stability   : experimental
Portability : POSIX

Big step rules and helpers for the N language.

This module reexports 'Term.Eval.BigStep.Strict'.
There is also 'Term.Eval.BigStep.Lazy' if you need it.
-}
module Term.Eval.BigStep (
    module Term.Eval.BigStep.Strict
  ) where

-- local
import Term.Eval.BigStep.Strict

 local
| 
 Copyright    : ( c )   , 2016 
 License      :      :  
 Stability    : experimental 
 Portability : POSIX 

 Big step rules and helpers for the N language . 

 This module reexports ' Term . Eval . BigStep . Strict ' . 
 There is also ' Term . Eval . BigStep . Lazy ' if you need it . 

Copyright   : (c) Dave Laing, 2016
License     : BSD3
Maintainer  : 
Stability   : experimental
Portability : POSIX

Big step rules and helpers for the N language.

This module reexports 'Term.Eval.BigStep.Strict'.
There is also 'Term.Eval.BigStep.Lazy' if you need it.
-}
module Term.Eval.BigStep (
    module Term.Eval.BigStep.Strict
  ) where

import Term.Eval.BigStep.Strict
