-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.
- Status: Open.#250 In DiffMu/DiffPrivacyInferenceHs;
subtyping assumes numeric type hierarchy has top and bottom
bugSomething isn't workingSomething isn't workingStatus: Open.Performance improvements
ArchitectureA rewrite of rather global scopeA rewrite of rather global scopeStatus: Open.we need too much ram
enhancementNew feature or requestNew feature or requestStatus: Open.We might want to have functions polymorphic over sensitivities
ArchitectureA rewrite of rather global scopeA rewrite of rather global scopeenhancementNew feature or requestNew feature or requestStatus: Open.maybe enable using included modules
enhancementNew feature or requestNew feature or requestStatus: Open.Generate some squiggly lines
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.what's up with randomized response?
enhancementNew feature or requestNew feature or requestquestionFurther information is requestedFurther information is requestedStatus: Open.Do occur-check in unification instead of in subst-accumulation
error handlingError messages are uselessError messages are uselessquestionFurther information is requestedFurther information is requestedStatus: Open.Leftover constraint when function return type is unknown
questionFurther information is requestedFurther information is requestedStatus: Open.Backwards constness propagation
questionFurther information is requestedFurther information is requestedStatus: Open.