-
Notifications
You must be signed in to change notification settings - Fork 23
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[tensor] tvm like fusion
questionFurther information is requestedFurther information is requestedStatus: Open.#452 In mimir/mimir;[bug] β-reducing type level lams in bodies desyncs types from var types
bugSomething isn't workingSomething isn't workingStatus: Open.#445 In mimir/mimir;- Status: Open.#436 In mimir/mimir;
Research Issue: Spectral Hankel Machine (SHM) - Theoretical Foundations & Open Questions
discussionNot a specific bug or missing feature but just some open discussion.Not a specific bug or missing feature but just some open discussion.Status: Open.#409 In mimir/mimir;Closure Conversion dependent type rewrites
enhancementNew feature or requestNew feature or requestStatus: Open.#168 In mimir/mimir;What should we do when allocating nominal arrays?
enhancementNew feature or requestNew feature or requestStatus: Open.#166 In mimir/mimir;Hoist slots to top
enhancementNew feature or requestNew feature or requestStatus: Open.#128 In mimir/mimir;