| Age | Commit message (Collapse) | Author |
|
|
|
well with metavariables and high-order abstract syntax
|
|
|
|
|
|
|
|
|
|
grammar. It may not be used accurately in the error messages yet
|
|
exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
|
|
|
|
|
|
|
|
from deprecated
|