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

A sample tautology solver using Agda's reflection machinery