wilbowma / cur

A less devious proof assistant
BSD 2-Clause "Simplified" License
222 stars 18 forks source link

Typo in paper, via Reddit #50

Closed wilbowma closed 8 years ago

wilbowma commented 8 years ago

"There's a typo on the first column of the first page. The variables "e1" and "e2" should be swapped in either the lambda expression or the let clause."