banacorn/flolac14.md

Last active August 29, 2015 14:02

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/banacorn/d465e9876614a946f6fe.js"></script>
Save banacorn/d465e9876614a946f6fe to your computer and use it in GitHub Desktop.

Download ZIP

Raw

flolac14.md

Semantics

Lecture 1

p. 11: For every three terms M0, M1, and M2 => For every three terms M1, M2, and M3

Type Theory & Logic

Lecture 2

p. 6: because they can be inferred most of the time. (This is called typical ambiguity.) ... when they cannot be inferred I suppose?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment