reflection-proofs icon indicating copy to clipboard operation
reflection-proofs copied to clipboard

Published 20 hours ago • verified publisher icon toothbrush
→

Metadata

Playing around with reflection in Agda. Since version 2.2.8 we have simple quoting and unquoting, and it turns out you can do some pretty cool shit.

← Metadata

26
Stars
3
Forks
Watchers

Owner

verified publisher icon toothbrush

Metadata

Playing around with reflection in Agda. Since version 2.2.8 we have simple quoting and unquoting, and it turns out you can do some pretty cool shit.

Back