michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixed spelling of James' name

Browse source
This commit is contained in:
wadler 2018-05-04 13:13:26 -03:00
parent d3ebe58fa1
commit f81c061fac
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/FreshUnstuck.lagda
View file

@ -5,7 +5,7 @@ permalink : /TypedFresh
---
Generation of fresh names, where names are string-integer pairs.
Fixed by James McKenna.
Fixed by James McKinna.
\begin{code}
module FreshUnstuck where