lambda-calculus
lambda-calculus copied to clipboard
add option to forbid compiler directives in source
Probably granular.
I see no reason to ever forbid #constant ( though for consistency it should, again probably, be possible ), but allowing solvers to #import church-numbers.lc in a kata with numEncoding None ( for a Good reason ) is probably Bad.