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

fixed permalink for TypedBadfix

Browse source
This commit is contained in:
wadler 2018-04-26 10:48:51 -03:00
parent 1a8001e0b6
commit 6ba6c56d57
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/TypedBadfix.lagda
View file

@ -1,7 +1,7 @@
---
title : "Typed: Typed Lambda term representation"
title : "TypedBadfix: Typed Lambda term representation (bad fix)"
layout : page
permalink : /Typed
permalink : /TypedBadfix
---