User Tools

Site Tools


plt17:assignment_2

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
plt17:assignment_2 [2017/12/05 14:43]
hossein [Task 3]
plt17:assignment_2 [2017/12/05 14:45]
hossein [Task 1]
Line 20: Line 20:
 A set can be defined using a predicate $P(x)$ that determines if an object belongs to the set or not $\{x | P(x)\}$. ​ A set can be defined using a predicate $P(x)$ that determines if an object belongs to the set or not $\{x | P(x)\}$. ​
 Set is a collection of objects for which $P$ is true.  Set is a collection of objects for which $P$ is true. 
-Define the function ''​Fixpoint''​ that gets a variable and determines if it is free in a λ-expression or not.+Define the function ''​free''​ that gets a variable and determines if it is free in a λ-expression or not.
  
-''​Fixpoint ​Free (x: string) (e: term) : Prop''​.+''​Fixpoint ​free (x: string) (e: term) : Prop''​.
 ===== Task 2 ===== ===== Task 2 =====
  
plt17/assignment_2.txt · Last modified: 2017/12/05 14:45 by hossein