Skip to content

Instantly share code, notes, and snippets.

@lobingera

lobingera/gist:2148a524e90a506586ddf487bd667a9f

Created September 12, 2019 18:05
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lobingera/2148a524e90a506586ddf487bd667a9f to your computer and use it in GitHub Desktop.
Save lobingera/2148a524e90a506586ddf487bd667a9f to your computer and use it in GitHub Desktop.
Download ZIP
glue text
Raw
gistfile1.txt
/lobingeraI'm trying to follow both of the above proposals and maybe i'm a little bit slow, but do i understand correctly that in Stefan's example.
C is a module defining types and functions (Tc and fc_1)
B is a module defining types and functions (Tb and fb_1)
A = glue(B,C)
A can define fa_1(::Ta), fa_2(::Tb)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment