Gabriella439 Haskell-Morte-Library issues

Gabriella439 / Haskell-Morte-Library

A bare-bones calculus-of-constructions

BSD 3-Clause "New" or "Revised" License

372 stars 25 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Version 1.7.1 → 1.7.2

#89 Gabriella439 closed 4 years ago
0
Bump dependencies

#88 int-index closed 4 years ago
0
Use LTS 13.8

#87 ghost closed 5 years ago
1
"Quick start" installation fails

#86 ghost closed 5 years ago
1
Version 1.7.0 → 1.7.1

#85 Gabriella439 closed 5 years ago
0
Build against `QuickCheck-2.12`

#84 Gabriella439 closed 5 years ago
0
Fix tutorial example

#83 Gabriella439 closed 5 years ago
0
Error in the documentation

#82 poe84it closed 5 years ago
1
rename (/=) to (!=)

#81 ghost closed 5 years ago
2
Prelude/(/=) is broken

#80 ghost closed 5 years ago
5
Tutorial typos

#79 ghost closed 5 years ago
2
Version 1.6.20 → 1.7.0

#78 Gabriella439 closed 5 years ago
0
Use Void from 'base' instead of X

#77 int-index closed 5 years ago
1
Version 1.6.19 → 1.6.20

#76 Gabriella439 closed 6 years ago
0
Switch Travis to use Nix

#75 Gabriella439 closed 6 years ago
0
Build against `criterion-1.5`

#74 Gabriella439 closed 6 years ago
0
Suggestion: let expressions

#73 takanuva opened 6 years ago
5
morte 1.6.17 executable build failure

#72 DanBurton closed 6 years ago
1
How do you encode isZero and pred in Morte?

#71 montokapro closed 6 years ago
3
Increase upper bound on `tasty` and `criterion`

#70 Gabriella439 closed 6 years ago
1
Problem with stack

#69 ChristopherKing42 closed 6 years ago
3
Possible infinite loop (?)

#68 ChristopherKing42 closed 6 years ago
3
transformers version

#67 joeyh opened 6 years ago
2
Why lambda calculus. Why not LISP?

#66 AnthonyJacob opened 6 years ago
3
How do you express Maybe in morte?

#65 AnthonyJacob closed 6 years ago
2
Expansion prior Reduction.

#64 AnthonyJacob closed 6 years ago
8
How do I encode my datatype?

#63 zmactep opened 7 years ago
4
General recursion for non-coinductive types

#62 takanuva opened 7 years ago
5
Can't I apply to an instance of a type variable?

#61 paulotorrens closed 7 years ago
12
Any thoughts on subtyping, type classes and object-oriented encoding?

#60 paulotorrens closed 7 years ago
4
Cleaner syntax?

#59 VictorTaelin opened 7 years ago
4
Morte fails on Windows (due to unicode output?)

#58 gergoerdi closed 7 years ago
5
A complete first-class description of datatypes?

#57 VictorTaelin opened 7 years ago
15
How exactly can λ-encoded datatypes be compiled to primitive operations?

#56 VictorTaelin opened 7 years ago
1
Make `whnf` behave as intended on application

#55 sgraf812 closed 7 years ago
1
Consider using the `bound` library

#54 sgraf812 opened 7 years ago
25
Stack extra-deps + version bump

#53 sgraf812 closed 7 years ago
1
Concern on the size of normalized code, compiling complexity.

#52 TorosFanny opened 7 years ago
7
Test with GHC 8.0 on Travis

#51 int-index closed 8 years ago
1
Relax binary upper bound to <9

#50 int-index closed 8 years ago
5
High-efficiency primitive operations in `morte`

#49 Gabriella439 closed 8 years ago
13
Awesome Idea for the our todo list: Core -> Morte Compiler

#48 ChristopherKing42 opened 8 years ago
11
Update README.md

#47 ChristopherKing42 closed 7 years ago
1
#-less imports for `morte`

#46 Gabriella439 closed 8 years ago
2
Changing the semantics of relative imports in `morte`

#45 Gabriella439 closed 8 years ago
1
Is there a way to define `Refl` in Morte?

#44 ChristopherKing42 closed 8 years ago
5
Can morte automagically prove that addition commutes?

#43 ChristopherKing42 closed 8 years ago
4
Add test modules to cabal-file

#42 int-index closed 8 years ago
1
morte 1.5 (from hackage tarball) test suite failure

#41 DanBurton closed 8 years ago
3
Unnecessary 'forall's

#40 ghost closed 8 years ago
4