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

publishing Basics

Browse source
This commit is contained in:
Philip Wadler 2017-10-01 20:23:11 +01:00
parent 6ff8e77c22
commit b5b755ac49
2 changed files with 2434 additions and 2404 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
index.md
View file

@ -17,10 +17,7 @@ http://homepages.inf.ed.ac.uk/wadler/
## Contents
<!--
- [Basics: Functional Programming in Agda]({{ "/Basics" | relative_url }})
-->
- [Maps: Total and Partial Maps]({{ "/Maps" | relative_url }})
- [Stlc: The Simply Typed Lambda-Calculus]({{ "/Stlc" | relative_url }})
- [StlcProp: Properties of STLC]({{ "/StlcProp" | relative_url }})

4835
out/Stlc.md
View file

File diff suppressed because it is too large Load diff