Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gabriella439/haskell-morte-library issues and pull requests
#89 - Version 1.7.1 → 1.7.2
Pull Request -
State: closed - Opened by Gabriella439 about 5 years ago
#89 - Version 1.7.1 → 1.7.2
Pull Request -
State: closed - Opened by Gabriella439 about 5 years ago
#88 - Bump dependencies
Pull Request -
State: closed - Opened by int-index about 5 years ago
#88 - Bump dependencies
Pull Request -
State: closed - Opened by int-index about 5 years ago
#87 - Use LTS 13.8
Pull Request -
State: closed - Opened by ghost almost 6 years ago
- 1 comment
#87 - Use LTS 13.8
Pull Request -
State: closed - Opened by ghost almost 6 years ago
- 1 comment
#86 - "Quick start" installation fails
Issue -
State: closed - Opened by ghost almost 6 years ago
- 1 comment
#86 - "Quick start" installation fails
Issue -
State: closed - Opened by ghost almost 6 years ago
- 1 comment
#85 - Version 1.7.0 → 1.7.1
Pull Request -
State: closed - Opened by Gabriella439 about 6 years ago
#85 - Version 1.7.0 → 1.7.1
Pull Request -
State: closed - Opened by Gabriella439 about 6 years ago
#84 - Build against `QuickCheck-2.12`
Pull Request -
State: closed - Opened by Gabriella439 about 6 years ago
#84 - Build against `QuickCheck-2.12`
Pull Request -
State: closed - Opened by Gabriella439 about 6 years ago
#83 - Fix tutorial example
Pull Request -
State: closed - Opened by Gabriella439 about 6 years ago
#83 - Fix tutorial example
Pull Request -
State: closed - Opened by Gabriella439 about 6 years ago
#82 - Error in the documentation
Issue -
State: closed - Opened by poe84it about 6 years ago
- 1 comment
#82 - Error in the documentation
Issue -
State: closed - Opened by poe84it about 6 years ago
- 1 comment
#81 - rename (/=) to (!=)
Pull Request -
State: closed - Opened by ghost about 6 years ago
- 2 comments
#81 - rename (/=) to (!=)
Pull Request -
State: closed - Opened by ghost about 6 years ago
- 2 comments
#80 - Prelude/(/=) is broken
Issue -
State: closed - Opened by ghost about 6 years ago
- 5 comments
#80 - Prelude/(/=) is broken
Issue -
State: closed - Opened by ghost about 6 years ago
- 5 comments
#79 - Tutorial typos
Pull Request -
State: closed - Opened by ghost about 6 years ago
- 2 comments
#79 - Tutorial typos
Pull Request -
State: closed - Opened by ghost about 6 years ago
- 2 comments
#78 - Version 1.6.20 → 1.7.0
Pull Request -
State: closed - Opened by Gabriella439 over 6 years ago
#78 - Version 1.6.20 → 1.7.0
Pull Request -
State: closed - Opened by Gabriella439 over 6 years ago
#77 - Use Void from 'base' instead of X
Pull Request -
State: closed - Opened by int-index over 6 years ago
- 1 comment
#77 - Use Void from 'base' instead of X
Pull Request -
State: closed - Opened by int-index over 6 years ago
- 1 comment
#76 - Version 1.6.19 → 1.6.20
Pull Request -
State: closed - Opened by Gabriella439 over 6 years ago
#76 - Version 1.6.19 → 1.6.20
Pull Request -
State: closed - Opened by Gabriella439 over 6 years ago
#75 - Switch Travis to use Nix
Pull Request -
State: closed - Opened by Gabriella439 over 6 years ago
#75 - Switch Travis to use Nix
Pull Request -
State: closed - Opened by Gabriella439 over 6 years ago
#74 - Build against `criterion-1.5`
Pull Request -
State: closed - Opened by Gabriella439 over 6 years ago
#74 - Build against `criterion-1.5`
Pull Request -
State: closed - Opened by Gabriella439 over 6 years ago
#73 - Suggestion: let expressions
Issue -
State: open - Opened by takanuva over 6 years ago
- 5 comments
#73 - Suggestion: let expressions
Issue -
State: open - Opened by takanuva over 6 years ago
- 5 comments
#72 - morte 1.6.17 executable build failure
Issue -
State: closed - Opened by DanBurton over 6 years ago
- 1 comment
#72 - morte 1.6.17 executable build failure
Issue -
State: closed - Opened by DanBurton over 6 years ago
- 1 comment
#71 - How do you encode isZero and pred in Morte?
Issue -
State: closed - Opened by montokapro over 6 years ago
- 3 comments
#71 - How do you encode isZero and pred in Morte?
Issue -
State: closed - Opened by montokapro over 6 years ago
- 3 comments
#70 - Increase upper bound on `tasty` and `criterion`
Pull Request -
State: closed - Opened by Gabriella439 almost 7 years ago
- 1 comment
#70 - Increase upper bound on `tasty` and `criterion`
Pull Request -
State: closed - Opened by Gabriella439 almost 7 years ago
- 1 comment
#69 - Problem with stack
Issue -
State: closed - Opened by ChristopherKing42 about 7 years ago
- 3 comments
#69 - Problem with stack
Issue -
State: closed - Opened by ChristopherKing42 about 7 years ago
- 3 comments
#68 - Possible infinite loop (?)
Issue -
State: closed - Opened by ChristopherKing42 about 7 years ago
- 3 comments
#68 - Possible infinite loop (?)
Issue -
State: closed - Opened by ChristopherKing42 about 7 years ago
- 3 comments
#67 - transformers version
Issue -
State: open - Opened by joeyh about 7 years ago
- 2 comments
#67 - transformers version
Issue -
State: open - Opened by joeyh about 7 years ago
- 2 comments
#66 - Why lambda calculus. Why not LISP?
Issue -
State: open - Opened by AnthonyJacob about 7 years ago
- 3 comments
#66 - Why lambda calculus. Why not LISP?
Issue -
State: open - Opened by AnthonyJacob about 7 years ago
- 3 comments
#65 - How do you express Maybe in morte?
Issue -
State: closed - Opened by AnthonyJacob about 7 years ago
- 2 comments
#65 - How do you express Maybe in morte?
Issue -
State: closed - Opened by AnthonyJacob about 7 years ago
- 2 comments
#64 - Expansion prior Reduction.
Issue -
State: closed - Opened by AnthonyJacob over 7 years ago
- 8 comments
#64 - Expansion prior Reduction.
Issue -
State: closed - Opened by AnthonyJacob over 7 years ago
- 8 comments
#63 - How do I encode my datatype?
Issue -
State: open - Opened by zmactep over 7 years ago
- 4 comments
#63 - How do I encode my datatype?
Issue -
State: open - Opened by zmactep over 7 years ago
- 4 comments
#62 - General recursion for non-coinductive types
Issue -
State: open - Opened by takanuva over 7 years ago
- 5 comments
#62 - General recursion for non-coinductive types
Issue -
State: open - Opened by takanuva over 7 years ago
- 5 comments
#61 - Can't I apply to an instance of a type variable?
Issue -
State: closed - Opened by paulotorrens almost 8 years ago
- 12 comments
#61 - Can't I apply to an instance of a type variable?
Issue -
State: closed - Opened by paulotorrens almost 8 years ago
- 12 comments
#60 - Any thoughts on subtyping, type classes and object-oriented encoding?
Issue -
State: closed - Opened by paulotorrens almost 8 years ago
- 4 comments
#60 - Any thoughts on subtyping, type classes and object-oriented encoding?
Issue -
State: closed - Opened by paulotorrens almost 8 years ago
- 4 comments
#59 - Cleaner syntax?
Issue -
State: open - Opened by VictorTaelin about 8 years ago
- 4 comments
#58 - Morte fails on Windows (due to unicode output?)
Issue -
State: closed - Opened by gergoerdi about 8 years ago
- 5 comments
#57 - A complete first-class description of datatypes?
Issue -
State: open - Opened by VictorTaelin about 8 years ago
- 15 comments
#56 - How exactly can λ-encoded datatypes be compiled to primitive operations?
Issue -
State: open - Opened by VictorTaelin about 8 years ago
- 1 comment
#55 - Make `whnf` behave as intended on application
Pull Request -
State: closed - Opened by sgraf812 about 8 years ago
- 1 comment
#54 - Consider using the `bound` library
Issue -
State: open - Opened by sgraf812 about 8 years ago
- 25 comments
#53 - Stack extra-deps + version bump
Pull Request -
State: closed - Opened by sgraf812 about 8 years ago
- 1 comment
#52 - Concern on the size of normalized code, compiling complexity.
Issue -
State: open - Opened by TorosFanny over 8 years ago
- 7 comments
#51 - Test with GHC 8.0 on Travis
Issue -
State: closed - Opened by int-index over 8 years ago
- 1 comment
#50 - Relax binary upper bound to <9
Pull Request -
State: closed - Opened by int-index over 8 years ago
- 5 comments
#49 - High-efficiency primitive operations in `morte`
Issue -
State: closed - Opened by Gabriella439 over 8 years ago
- 13 comments
#48 - Awesome Idea for the our todo list: Core -> Morte Compiler
Issue -
State: open - Opened by ChristopherKing42 over 8 years ago
- 11 comments
#47 - Update README.md
Pull Request -
State: closed - Opened by ChristopherKing42 over 8 years ago
- 1 comment
#46 - #-less imports for `morte`
Issue -
State: closed - Opened by Gabriella439 over 8 years ago
- 2 comments
#45 - Changing the semantics of relative imports in `morte`
Issue -
State: closed - Opened by Gabriella439 over 8 years ago
- 1 comment
#44 - Is there a way to define `Refl` in Morte?
Issue -
State: closed - Opened by ChristopherKing42 over 8 years ago
- 5 comments
#43 - Can morte automagically prove that addition commutes?
Issue -
State: closed - Opened by ChristopherKing42 over 8 years ago
- 4 comments
#42 - Add test modules to cabal-file
Pull Request -
State: closed - Opened by int-index over 8 years ago
- 1 comment
#41 - morte 1.5 (from hackage tarball) test suite failure
Issue -
State: closed - Opened by DanBurton over 8 years ago
- 3 comments
#40 - Unnecessary 'forall's
Issue -
State: closed - Opened by ghost over 8 years ago
- 4 comments
#39 - unexpected slowness (non-recursive)
Issue -
State: open - Opened by zraffer almost 9 years ago
- 9 comments
#38 - Morte seems to forget a type name
Issue -
State: closed - Opened by ghost almost 9 years ago
- 5 comments
#37 - Bump microlens version
Pull Request -
State: closed - Opened by neongreen almost 9 years ago
- 1 comment
#36 - Switch parser to using ExceptT.
Pull Request -
State: closed - Opened by archblob almost 9 years ago
- 1 comment
#35 - Add basic Arbitrary instance and property tests.
Pull Request -
State: closed - Opened by archblob almost 9 years ago
- 3 comments
#34 - Add missing function import to Lexer.x
Pull Request -
State: closed - Opened by int-index almost 9 years ago
- 1 comment
#33 - Added IPFS hash functionality
Pull Request -
State: closed - Opened by ghost almost 9 years ago
- 1 comment
#32 - morte-1.3.1 does not compile with alex 3.1.5
Issue -
State: closed - Opened by peti almost 9 years ago
- 10 comments
#31 - Minimal typo correction
Pull Request -
State: closed - Opened by ghost almost 9 years ago
- 1 comment
#30 - Should we add Self types?
Issue -
State: open - Opened by VictorTaelin about 9 years ago
- 31 comments
#29 - point to the latest version of the tutorial in the readme
Pull Request -
State: closed - Opened by thomasdziedzic about 9 years ago
- 2 comments
#28 - Please tag past releases and future releases
Issue -
State: closed - Opened by thomasdziedzic about 9 years ago
- 1 comment
#27 - generate .travis.yml with support for multiple ghc versions
Pull Request -
State: closed - Opened by thomasdziedzic about 9 years ago
- 1 comment
#26 - Add Binary X instance
Pull Request -
State: closed - Opened by puffnfresh about 9 years ago
- 2 comments
#25 - Hash verification for referential-transparency
Issue -
State: closed - Opened by puffnfresh about 9 years ago
- 5 comments
#24 - Increase upper bound on `optparse-applicative`
Pull Request -
State: closed - Opened by Gabriella439 about 9 years ago
#23 - Use Data.Void from base
Pull Request -
State: closed - Opened by int-index about 9 years ago
- 3 comments
#22 - Add to Stackage
Issue -
State: closed - Opened by tomberek about 9 years ago
- 2 comments
#21 - Annotate the AST
Issue -
State: closed - Opened by int-index over 9 years ago
- 11 comments
#20 - Rename Import to Embed
Pull Request -
State: closed - Opened by int-index over 9 years ago
- 2 comments