-
Notifications
You must be signed in to change notification settings - Fork 18
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#239 In typedefs/typedefs;
Visualise typedefs
feature:documentationIssues related to documentationIssues related to documentationStatus: Open.#236 In typedefs/typedefs;Find a way to generalise
TNat1andTString1feature:enhancementEnhancements that do not affect core functionalityEnhancements that do not affect core functionalitynewcomer:help wantedThis issue needs a new pair of eyesThis issue needs a new pair of eyesStatus: Open.#235 In typedefs/typedefs;Check for key oder and format
feature:enhancementEnhancements that do not affect core functionalityEnhancements that do not affect core functionalitynewcomer:beginner-friendlyGood to get started with TypedefsGood to get started with TypedefsStatus: Open.#233 In typedefs/typedefs;Can we remove RRef?
feature:enhancementEnhancements that do not affect core functionalityEnhancements that do not affect core functionalityStatus: Open.#232 In typedefs/typedefs;Implement test suite for binary format in Idris backend
feature:enhancementEnhancements that do not affect core functionalityEnhancements that do not affect core functionalityStatus: Open.#228 In typedefs/typedefs;Update
eqTyto with with non-empty specialisation contextsfeature:enhancementEnhancements that do not affect core functionalityEnhancements that do not affect core functionalityStatus: Open.#226 In typedefs/typedefs;Add ignoreWeaken (reverse of ignoreShift)
feature:enhancementEnhancements that do not affect core functionalityEnhancements that do not affect core functionalityStatus: Open.#221 In typedefs/typedefs;Wrong name in haskell backend
Backend:Haskellissues related to the haskell backedissues related to the haskell backedStatus: Open.- Status: Open.#208 In typedefs/typedefs;
PureScript backend
feature:newIssues for brand new featuresIssues for brand new featuresStatus: Open.#206 In typedefs/typedefs;- Status: Open.