Giters

git-afsantos / hpl-specs

High-Level Property Specification Language

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add documentation

git-afsantos opened this issue · comments

commented

Describe the language and add some examples.