Module

AlphaSucc

Package
purescript-alphasucc
Repository
justinwoo/purescript-alphasucc

#AlphaSucc Source

class AlphaSucc (curr :: Symbol) (next :: Symbol) | curr -> next, next -> curr

Instances

Modules
AlphaSucc