Agda.TypeChecking.Reduce.Fast

fastReduce