idris-0.9.15: Functional Programming Language with Dependent Types

Safe HaskellNone

IRTS.Simplified

Documentation

data SDecl Source

Constructors

SFun Name [Name] Int SExp 

Instances

Show SDecl 

data SExp Source

Instances

Show SExp 

data SAlt Source

Instances

Show SAlt