_CoqProject 266 Bytes
Newer Older
1
2
3
4
-R . lower_order
Expression.v
TypedExpression.v
SoundlyTypedExpression.v
5
6
7
LambdaCalc.v
STLC.v
STLCSound.v
8
Locations.v
9
LocationMap.v
10
FunLMap.v
11
12
Choreography.v
TypedChoreography.v
13
SoundlyTypedChoreography.v
Andrew Hirsch's avatar
Andrew Hirsch committed
14
15
16
RestrictedSemantics.v
ConcurrentLambda.v
ChoreographyCompiler.v