-
Notifications
You must be signed in to change notification settings - Fork 0
/
_CoqProject
93 lines (92 loc) · 3.09 KB
/
_CoqProject
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
-R Tealeaves/ Tealeaves
Tealeaves/LibTactics.v
Tealeaves/Axioms.v
Tealeaves/Prelude.v
Tealeaves/Data/Product.v
Tealeaves/Classes/EqDec_eq.v
Tealeaves/Classes/Category.v
Tealeaves/Classes/Monoid.v
Tealeaves/Classes/Comonoid.v
Tealeaves/Classes/Functor.v
Tealeaves/Functors/Identity.v
Tealeaves/Functors/Compose.v
Tealeaves/Data/Strength.v
Tealeaves/Data/Natural.v
Tealeaves/Data/Prop.v
Tealeaves/Data/Sets.v
Tealeaves/Classes/Applicative.v
Tealeaves/Classes/Kleisli/Monad.v
Tealeaves/Classes/Monad.v
Tealeaves/Classes/Comonad.v
Tealeaves/Classes/ParamComonad.v
Tealeaves/Classes/RightModule.v
Tealeaves/Classes/RightComodule.v
Tealeaves/Classes/BeckDistributiveLaw.v
Tealeaves/Classes/Bimonad.v
Tealeaves/Categories/Types.v
Tealeaves/Categories/TypeFamilies.v
Tealeaves/Functors/Constant.v
Tealeaves/Functors/ProductFunctor.v
Tealeaves/Functors/Environment.v
Tealeaves/Functors/Writer.v
Tealeaves/Functors/Sets.v
Tealeaves/Classes/Setlike/Functor.v
Tealeaves/Classes/Setlike/Monad.v
#Tealeaves/Classes/Setlike/Module.v
#Tealeaves/Classes/Listable/Module.v
Tealeaves/Functors/List.v
Tealeaves/Classes/Listable/Functor.v
Tealeaves/Classes/Listable/Monad.v
Tealeaves/Classes/Kleisli/Decorated/Functor.v
Tealeaves/Classes/Kleisli/Decorated/Monad.v
#Tealeaves/Classes/Kleisli/Decorated/Module.v
Tealeaves/Classes/Decorated/Functor.v
Tealeaves/Classes/Decorated/Monad.v
#Tealeaves/Classes/Decorated/Module.v
Tealeaves/Functors/Store.v
Tealeaves/Functors/Batch.v
Tealeaves/Functors/Batch2.v
Tealeaves/Classes/Kleisli/Traversable/Functor.v
Tealeaves/Classes/Kleisli/Traversable/Monad.v
#Tealeaves/Classes/Kleisli/Traversable/Module.v
Tealeaves/Classes/Traversable/Functor.v
#Tealeaves/Classes/Traversable/Functor/Listable.v
Tealeaves/Classes/Traversable/Monad.v
#Tealeaves/Classes/Traversable/Module.v
Tealeaves/Classes/Decorated/Setlike.v
Tealeaves/Classes/Decorated/Listable.v
Tealeaves/Classes/Kleisli/DT/Functor.v
Tealeaves/Classes/Kleisli/DT/Monad.v
#Tealeaves/Classes/Kleisli/DT/Module.v
Tealeaves/Classes/DT/Functor.v
Tealeaves/Classes/DT/Monad.v
#Tealeaves/Classes/DT/Module.v
Tealeaves/Functors/Backwards.v
Tealeaves/Functors/Diagonal.v
Tealeaves/Functors/Option.v
Tealeaves/Functors/Pathspace.v
Tealeaves/Functors/State.v
Tealeaves/Backends/LN/Atom.v
Tealeaves/Backends/LN/AtomSet.v
Tealeaves/Backends/LN/AssocList.v
Tealeaves/Backends/LN/LN.v
Tealeaves/Backends/LN.v
Tealeaves/Multisorted/Classes/Multifunctor.v
Tealeaves/Multisorted/Classes/DTM.v
Tealeaves/Backends/LN/Multisorted/LN.v
Tealeaves/Examples/STLC/Syntax.v
Tealeaves/Examples/STLC/TypeSoundness.v
Tealeaves/Examples/STLC/SyntaxCategorical.v
Tealeaves/Examples/SystemF/Syntax.v
Tealeaves/Examples/SystemF/Rewriting.v
Tealeaves/Examples/SystemF/Contexts.v
Tealeaves/Examples/SystemF/TypeSoundness.v
Tealeaves/Examples/STLC+Let/Let1.v
Tealeaves/Examples/STLC+Let/Let2.v
Tealeaves/Classes/Equivalences/Monad.v
Tealeaves/Classes/Equivalences/Decorated/Functor.v
Tealeaves/Classes/Equivalences/Decorated/Monad.v
Tealeaves/Classes/Equivalences/Traversable/Functor.v
Tealeaves/Classes/Equivalences/Traversable/Monad.v
Tealeaves/Classes/Equivalences/DT/Functor.v
Tealeaves/Classes/Equivalences/DT/Monad.v