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

fix to index

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

2
index.md
View file

@ -45,7 +45,7 @@ fixes are encouraged.
- [StlcProp: Properties of STLC](StlcProp)
In progress
- [FreshUnstuck: Generation of fresh names with strings](TypedFresh)
- [FreshUnstuck: Generation of fresh names with strings](FreshUnstuck)
- [Typed: Raw terms with types (broken)](Typed)
- [TypedFresh: Raw terms with fresh names (broken)](TypedFresh)