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

Resolved link conflict (Pure was hosted as Untyped)

Browse source
This commit is contained in:
Wen Kokke 2018-06-04 14:10:23 +01:00
parent 2f5a55c1e4
commit 2bbdcfc8bb
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/Pure.lagda
View file

@ -1,7 +1,7 @@
---
title : "Pure: Pure Type Systems"
layout : page
permalink : /Untyped
permalink : /Pure
---
Barendregt, H. (1991). Introduction to generalized type