Comments (3)
@sellout Do you mind if I take a stab at this? I'd like to do this issue at the same time as this one here
from matryoshka.
Yeah, that would be awesome.
Feel free to poke me if you run into anything confusing on the Matryoshka side of things. Iโm more than happy to help out.
from matryoshka.
Just a comment to show I haven't forgotten about this; hopefully will have something out fairly soon.
from matryoshka.
Related Issues (20)
- Scala 2.13 artifact? HOT 1
- Scala.js support HOT 3
- Trampolines HOT 7
- Cyclic data structures HOT 2
- Add `Birecursive` type class HOT 1
- โAdjustโ `FunctorT` for directly-recursive types. HOT 5
- Generalize folds from Comonads to Adjunctions.
- Add recursion-scheme-friendly ABTs HOT 2
- Add scala-exercises
- Add scala-clippy advice HOT 2
- implicitly[Recursive[Fix[Option]]] ambiguity between recursiveTRecursive and birecursiveTBirecursive HOT 4
- README should mention the need to import fixpoint types HOT 4
- Are there any plans of providing a cats version of matryoshka? HOT 9
- matryoshka-core jvm artifact has Scala.js dependencies HOT 6
- Figure out how to create various instances on arbitrary fixed-point types.
- Add matryoshka-refined project.
- Support for mutual recursion? + motivating example HOT 2
- Add examples module HOT 1
- Shaky foundations for generalized recursion schemes HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. ๐๐๐
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google โค๏ธ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from matryoshka.