DimaSamoz/agda-soas-v1.0.0.zip
DimaSamoz-agda-soas-351546b
.gitignore
25 Bytes
.gitmodules
198 Bytes
Everything.agda
3.6 kB
LICENSE
1.1 kB
README.md
31.9 kB
SOAS
Abstract
Box.agda
1.5 kB
Coalgebra.agda
6.4 kB
ExpStrength.agda
4.6 kB
Hom.agda
4.6 kB
Monoid.agda
4.8 kB
Coalgebraic
Lift.agda
6.4 kB
Map.agda
3.2 kB
Monoid.agda
3.0 kB
Strength.agda
3.9 kB
Common.agda
3.5 kB
Construction
Free.agda
6.9 kB
Skew
SkewClosed.agda
4.1 kB
Structure.agda
3.7 kB
Context.agda
963 Bytes
ContextMaps
CategoryOfRenamings.agda
6.2 kB
Combinators.agda
3.4 kB
Inductive.agda
2.0 kB
Properties.agda
1.7 kB
Families
BCCC.agda
4.8 kB
Build.agda
4.0 kB
Core.agda
1.6 kB
Delta.agda
1.5 kB
Isomorphism.agda
2.1 kB
Linear.agda
2.1 kB
Metatheory
Algebra.agda
385 Bytes
Coalgebraic.agda
7.9 kB
FreeMonoid.agda
10.8 kB
MetaAlgebra.agda
3.5 kB
Monoid.agda
2.6 kB
Renaming.agda
3.6 kB
SecondOrder
Equality.agda
10.2 kB
Metasubstitution.agda
8.7 kB
Unit.agda
4.4 kB
Semantics.agda
2.4 kB
Substitution.agda
7.0 kB
Syntax.agda
3.6 kB
Traversal.agda
11.4 kB
Metatheory.agda
951 Bytes
Sorting.agda
7.7 kB
Syntax
Arguments.agda
2.1 kB
Build.agda
2.3 kB
Shorthands.agda
1.9 kB
Signature.agda
7.8 kB
Term.agda
4.2 kB
Variable.agda
1.5 kB
agda-categories
agda-stdlib
gen
eq.py
20.6 kB
ex
alg
cgroup
64 Bytes
cmonoid
66 Bytes
cring
63 Bytes
group
109 Bytes
groupact
216 Bytes
lens
248 Bytes
monoid
131 Bytes
ring
110 Bytes
semiring
210 Bytes
lambda
comb
299 Bytes
ctlc
127 Bytes
empty
116 Bytes
monad
370 Bytes
nat
305 Bytes
pcf
476 Bytes
prod
315 Bytes
stlc
281 Bytes
sum
433 Bytes
tlc
232 Bytes
unit
98 Bytes
utlc
283 Bytes
logic
fol
1.6 kB
prop
589 Bytes
misc
empty
12 Bytes
inc
471 Bytes
pdiff
637 Bytes
sub
363 Bytes
templates
Equality.agda
818 Bytes
Signature.agda
481 Bytes
Syntax.agda
3.5 kB
term.py
10.4 kB
type.py
3.7 kB
util.py
5.1 kB
out
CTLC
Equality.agda
1.3 kB
Signature.agda
1.2 kB
Syntax.agda
4.9 kB
Combinatory
Equality.agda
1.3 kB
Signature.agda
830 Bytes
Syntax.agda
4.4 kB
CommGroup
Equality.agda
1.8 kB
Signature.agda
947 Bytes
Syntax.agda
4.4 kB
CommMonoid
Equality.agda
1.5 kB
Signature.agda
787 Bytes
Syntax.agda
4.0 kB
CommRing
Equality.agda
3.6 kB
Signature.agda
1.5 kB
Syntax.agda
5.4 kB
Empty
Equality.agda
938 Bytes
Signature.agda
627 Bytes
Syntax.agda
3.5 kB
Examples.agda
2.2 kB
FOL
Equality.agda
12.9 kB
Signature.agda
3.8 kB
Syntax.agda
8.6 kB
Group
Equality.agda
1.5 kB
Signature.agda
894 Bytes
Syntax.agda
4.3 kB
GroupAction
Equality.agda
1.9 kB
Signature.agda
1.2 kB
Syntax.agda
4.9 kB
Inception
Equality.agda
1.8 kB
Signature.agda
1.1 kB
Syntax.agda
4.3 kB
Lens
Equality.agda
1.2 kB
Signature.agda
793 Bytes
Syntax.agda
4.0 kB
Monad
Equality.agda
1.5 kB
Signature.agda
959 Bytes
Syntax.agda
4.1 kB
Monoid
Equality.agda
1.3 kB
Signature.agda
734 Bytes
Syntax.agda
3.9 kB
Naturals
Equality.agda
1.4 kB
Signature.agda
956 Bytes
Syntax.agda
4.4 kB
PCF
Equality.agda
2.1 kB
Signature.agda
1.8 kB
Syntax.agda
6.6 kB
PDiff
Equality.agda
6.9 kB
Signature.agda
2.0 kB
Syntax.agda
6.6 kB
Prod
Equality.agda
1.3 kB
Signature.agda
1.0 kB
Syntax.agda
4.4 kB
PropLog
Equality.agda
6.4 kB
Signature.agda
2.2 kB
Syntax.agda
6.2 kB
Ring
Equality.agda
3.0 kB
Signature.agda
1.5 kB
Syntax.agda
5.4 kB
STLC
Equality.agda
1.2 kB
Model.agda
2.7 kB
Signature.agda
915 Bytes
Syntax.agda
4.1 kB
Semiring
Equality.agda
2.6 kB
Signature.agda
1.3 kB
Syntax.agda
5.0 kB
Sub
Equality.agda
1.6 kB
Signature.agda
892 Bytes
Syntax.agda
4.1 kB
Sum
Equality.agda
1.6 kB
Signature.agda
1.1 kB
Syntax.agda
4.5 kB
TLC
Equality.agda
5.4 kB
Signature.agda
3.0 kB
Syntax.agda
9.0 kB
UTLC
Equality.agda
1.4 kB
Signature.agda
785 Bytes
Syntax.agda
4.2 kB
Unit
Equality.agda
896 Bytes
Signature.agda
571 Bytes
Syntax.agda
3.5 kB
soas.agda-lib
74 Bytes
soas.py
15.2 kB