mirror of
https://github.com/hmemcpy/milewski-ctfp-pdf.git
synced 2024-11-26 03:11:47 +03:00
Merge 42a1a120b0
into e7615de1de
This commit is contained in:
commit
7a47ac107d
@ -1,3 +1 @@
|
||||
trait Coend[P[_, _]] {
|
||||
def paa[A]: P[A, A]
|
||||
}
|
||||
trait Coend[P[_, _]] { type A; val p: P[A, A] }
|
||||
|
Loading…
Reference in New Issue
Block a user