Subject: Tactics

Keywords: ::Rules
          ::Refiner
          ::ML
          ::overview
          ::tactic

Title: ML

--------------------------------------------------
Nuprl tactics are written in Classic ML.

Pros:
  - minimal syntax
Cons:
  - minimal syntax
      * No modules
      * No functors
⋅
--------------------------------------------------

Authors: 

Contributors: RICH:t
              VINCENT:t

⋅

Home