-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#98 In hellas-ai/catena-lang;
Remove operations with no runtime content
enhancementNew feature or requestNew feature or requestlangcatena-langcatena-langStatus: Open.#94 In hellas-ai/catena-lang;Support
materializeclosure conversionenhancementNew feature or requestNew feature or requestlangcatena-langcatena-langStatus: Open.#85 In hellas-ai/catena-lang;Document build, test, and runtime environment requirements
documentationImprovements or additions to documentationImprovements or additions to documentationlangcatena-langcatena-langStatus: Open.#76 In hellas-ai/catena-lang;Discardable types and generalized
selectenhancementNew feature or requestNew feature or requestlangcatena-langcatena-langStatus: Open.#58 In hellas-ai/catena-lang;Tidy up name.* elaboration
enhancementNew feature or requestNew feature or requestlangcatena-langcatena-langStatus: Open.#57 In hellas-ai/catena-lang;Test suite for catgrad ops
enhancementNew feature or requestNew feature or requestlangcatena-langcatena-langStatus: Open.#48 In hellas-ai/catena-lang;Erasemisses runtime values nested under product/coproduct structurebugSomething isn't workingSomething isn't workingcorecatena-corecatena-coreStatus: Open.#31 In hellas-ai/catena-lang;- Status: Open.#26 In hellas-ai/catena-lang;
Interleaving elaboration's
expose_boundary_tensoris insufficiently generalcorecatena-corecatena-coreStatus: Open.#7 In hellas-ai/catena-lang;