Confluence is functional programming language for reactive system design and for digital logic in particular.