-
Notifications
You must be signed in to change notification settings - Fork 1
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Label relations to be mutually-inductive in Extensibella output
enhancementNew feature or requestNew feature or requestExtensibellaSomething for Extensibella translationSomething for Extensibella translationStatus: Open.#19 In RandomActsOfGrammar/sterling;Silver Translation of Semantic Definitions
enhancementNew feature or requestNew feature or requestextensionPossible as an extension without modifying the corePossible as an extension without modifying the coreStatus: Open.#2 In RandomActsOfGrammar/sterling;Add Complete Judgments
enhancementNew feature or requestNew feature or requestStatus: Open.#1 In RandomActsOfGrammar/sterling;