EGTBS icon indicating copy to clipboard operation
EGTBS copied to clipboard

Published 20 hours ago • verified publisher icon pigworker
→

Metadata

being the introduction to co-de-Bruijn metasyntax

Results 2 EGTBS issues
Sort by recently updated
recently updated
newest added

Don't hide forall before S

Not sure if you want pull requests for this repo, but here's a typo fix! It adds the highlighted forall back into the LaTeX output, so that S doesn't look...

joliss avatar joliss

[ fix ] new semantics for irrefutable with

The change is related to agda/agda#4059: all the irrefutable withs declared in a |-separated bunch are abstracted over at the same time. This mean you need to manually split up...

gallais avatar gallais

← Metadata

25
Stars
2
Forks
Watchers

Owner

verified publisher icon pigworker

Metadata

being the introduction to co-de-Bruijn metasyntax

Back