Forum | Documentation | Website | Blog

Skip to content
Snippets Groups Projects
Commit b337ce5e authored by Ary Borenszweig's avatar Ary Borenszweig
Browse files

When using a union as a restriction, bind free variables from left to right... 

When using a union as a restriction, bind free variables  from left to right whiel discarding matching types
parent 70ab008d
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment

Open hardware computers for makers, educators and professionals