Giters

moratori / trs

Term Rewriting System

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

Term Rewriting System

Languages

Language:HTML 84.2%Language:Common Lisp 15.8%