Category:Twelf/Omit
Tasks listed here have been marked as "un-implementable" in Twelf. Solutions may be impossible to do, too complex to be of any valuable instruction in Twelf, or prohibited by the task definition.
But hey; if you think you can prove us wrong, go for it. :-)
This category currently contains no pages or media.