acl2-0.0.1: Writing and calling ACL2 from Haskell.

Safe HaskellSafe-Inferred
LanguageHaskell98

Language.ACL2

Description

A DSL for ACL2.

Documentation

data Expr Source

Constructors

Obj [Expr] 
Lit String 

Instances

let' :: [(String, Expr)] -> Expr -> Expr Source

if' :: Expr -> Expr -> Expr -> Expr Source

case' :: Expr -> [(Expr, Expr)] -> Expr -> Expr Source