hmemcpy/milewski-ctfp-pdf
1
1
Fork 0
mirror of https://github.com/hmemcpy/milewski-ctfp-pdf.git synced 2024-11-22 11:32:00 +03:00
Code Issues Projects Releases Wiki Activity

better code

Browse Source
This commit is contained in:
sergei.winitzki 2019-10-21 21:33:17 -07:00
parent 702e284dd4
commit 42a1a120b0
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/content/3.10/code/scala/snippet14.scala
View File

@ -1,2 +1 @@
sealed trait Coend[P[_, _]]
final case class DiagP[A](p: P[A, A]) extends Coend[P]
trait Coend[P[_, _]] { type A; val p: P[A, A] }