Include rules - Githubissues

Deducteam / Logipedia

An encyclopedia of proofs

56 stars 11 forks source link

Closed GuillaumeGen closed 4 years ago

GuillaumeGen commented 4 years ago

This modifies the middleware interface to take rewrite rules into account and it declares a middleware for Agda.