lib:ntha

Modules

• Ast
• Eval
• Infer
• Lexer
• Parser
• Prologue
• Refined
• State
• Type
• TypeScope
• Value
• Z3.Assertion
• Z3.Class
• Z3.Context
• Z3.Encoding
• Z3.Logic

Dependencies

• array lib:array >=0
• base lib:base >=4.7 && <5
• containers lib:containers >=0
• monad-loops lib:monad-loops >=0
• mtl lib:mtl >=2.2 && <2.3
• pretty lib:pretty >=0
• z3 lib:z3 >=4.1.0

Reverse dependencies

Direct only. Not exhaustive.

• ntha exe:ntha
• ntha test:ntha-test