Giters

gallais / syntax-with-binding

A Generic Treatment of Syntaxes with Binding in Haskell

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

syntax-with-binding

A Generic Treatment of Syntaxes with Binding in Haskell

About

A Generic Treatment of Syntaxes with Binding in Haskell

License:GNU General Public License v3.0

Languages

Language:Haskell 100.0%