reflection-tutorial
reflection-tutorial copied to clipboard
A sample tautology solver using Agda's reflection machinery