precog matryoshka issues

precog / matryoshka

Generalized recursion schemes and traversals for Scala.

Apache License 2.0

811 stars 87 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Set up new infrastructure

#108 djspiewak closed 4 years ago
0
Update sbt-slamdata to 6.2.7

#107 djspiewak opened 4 years ago
0
Update sbt-slamdata to 6.2.7

#106 djspiewak opened 4 years ago
0
update predef to 0.1.1

#105 alissapajer closed 4 years ago
0
Cross-build for Scala 2.13

#104 djspiewak closed 4 years ago
0
Scala 2.13 artifact?

#103 kczulko opened 4 years ago
1
Hopefully sort out travis

#102 djspiewak closed 5 years ago
0
Port to SBT v1 and mdoc

#101 davidhoyt closed 5 years ago
4
Port to SBT v1 and mdoc

#100 davidhoyt closed 5 years ago
1
Added link to example in the `README.md`

#99 orium closed 5 years ago
2
Shaky foundations for generalized recursion schemes

#98 gelisam opened 6 years ago
1
sbt 0.13.17

#97 xuwei-k closed 5 years ago
1
remove oraclejdk7 build

#96 xuwei-k closed 6 years ago
0
update sbt plugins

#95 xuwei-k closed 6 years ago
1
Add a documentation page about recursion schemes

#94 vil1 closed 6 years ago
5
Bump sbt-slamdata to 0.5.1

#93 drostron closed 6 years ago
0
Add automatic differentiation example

#92 zainab-ali closed 6 years ago
1
Initial tut docs (update)

#91 rintcius closed 6 years ago
2
Generalize the various attribute* algebras.

#90 wemrysi closed 7 years ago
2
Add some examples

#89 zainab-ali closed 7 years ago
3
Add implicit syntax for gapo

#88 wemrysi closed 7 years ago
0
add badge for latest published version

#87 yilinwei closed 7 years ago
1
Add examples module

#86 zainab-ali closed 6 years ago
1
update

#85 SemanticBeeng closed 7 years ago
1
Add laws.

#84 sellout opened 7 years ago
3
Support for mutual recursion? + motivating example

#83 V-Lamp opened 7 years ago
2
Greatly reduce the general recursion used.

#82 sellout closed 7 years ago
2
Add matryoshka-refined project.

#81 sellout opened 7 years ago
0
Figure out how to create various instances on arbitrary fixed-point types.

#80 sellout opened 7 years ago
0
Fix the Birecursive type class.

#79 sellout closed 7 years ago
1
Repeatedly func

#78 EncodePanda opened 7 years ago
4
Add a pattern functor for non-empty lists.

#77 wemrysi closed 7 years ago
0
Update cross handling

#76 drostron closed 7 years ago
0
matryoshka-core jvm artifact has Scala.js dependencies

#75 gerferra closed 7 years ago
6
Are there any plans of providing a cats version of matryoshka?

#74 boggle closed 6 years ago
9
Fix typo

#73 n4to4 closed 7 years ago
2
Define more operations in terms of cata, ana, and hylo.

#72 sellout closed 7 years ago
10
Make sbt console functional.

#71 paulp closed 7 years ago
2
Fix call to 'repeatedly' in tests.

#70 wemrysi closed 7 years ago
0
Add implementation of elgot hylomorphism

#69 b-studios closed 7 years ago
31
Add monadic zygomorphism

#68 kanterov closed 7 years ago
13
Make repeatedly tail-recursive

#67 edmundnoble closed 7 years ago
3
Bump sbt-slamdata to 0.0.11

#66 drostron closed 7 years ago
0
Fix typo in documentation

#65 jedesah closed 7 years ago
1
Rely on sbt-slamdata and slamdata-predef

#64 drostron closed 7 years ago
1
Upgrade specs2 from `3.8.6` to `3.8.7`

#62 jedesah closed 7 years ago
1
Improve test output

#61 jedesah closed 7 years ago
1
Update many dependencies for Matryoshka.

#60 sellout closed 7 years ago
2
README should mention the need to import fixpoint types

#59 klaeufer closed 7 years ago
4