mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-10-26 12:27:36 +03:00
Markdown formatting fix
The extra backtick caused formatting aberration in IOS Working Copy. I checked for other groups of 4 (rg -F $four_backticks) and found none.
This commit is contained in:
parent
b342967a43
commit
76c2a4f5fb
@ -30,7 +30,7 @@ If that looks alien to you, don't worry for now, it will become clear. The
|
||||
|
||||
```
|
||||
Equal.refl : (A: Type) -> (x: A) -> Equal(A,x,x)
|
||||
````
|
||||
```
|
||||
|
||||
That means `refl` receives a type (`A`), and element `x` of type `A`, and
|
||||
returns `Equal(A,x,x)`. As an example, the program below:
|
||||
|
Loading…
Reference in New Issue
Block a user