Skip to content
Snippets Groups Projects
Commit 3f57b28c authored by Hugo Wangler's avatar Hugo Wangler
Browse files

Update HOME_EXAM_Type_check_part2.md

parent cb7225fb
No related branches found
No related tags found
No related merge requests found
......@@ -116,6 +116,6 @@ Given the function $`p`$ with the type of its return type
#### Parameters and arguments
Given a function with parameters $`p1, \dotsb, p_i`$ and arguments $`a1, \dotsb, a_i`$ then for every parameter and argument
math```
```math
\frac{\Gamma \ \vdash p_i \ : \ \tau}{\Gamma \ \vdash a_i \ : \ \tau}
```
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment