1a38107941725211e7c3f051f7a8f5e12199f03acmaedera < (e,g)

d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarib

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elknerc

d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarid < a

d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarie

d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarif

d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarig

d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarih = (a,b)

d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarij = {_ < t}

d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariType Constructors

d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari[__] : a ->b

d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegaria__b : a ->b

d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarit : a

acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegarix : ({_ < t},b,a)

d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegariy : Type

d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariType Variables : (x,y)

d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariAssumptions

acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegarix : (s,y)

acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariWarning (3,14) redundant universe class

acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariError (3,7) illegal universe class declaration

acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariError (4,7) illegal universe class declaration

1a38107941725211e7c3f051f7a8f5e12199f03acmaederError (6,7) illegal universe class declaration

d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariWarning (8,11) implicit declaration of superclass 'a'

d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariWarning (8,7) redeclared class 'd'

d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariError (10,24) undeclared class 'h'

1a38107941725211e7c3f051f7a8f5e12199f03acmaederWarning (10,7) redeclared class 'a'

1a38107941725211e7c3f051f7a8f5e12199f03acmaederError (10,12) cyclic class relation via 'd'

a58d43a4b2864a25ab74b96758fb9d98f18eeed7Daniel CalegariWarning (12,7) redeclared class 'a'

acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariError (12,11) cyclic class relation via 'd'

eb06c6332e2e2ef6f5d1cdd74c5ce7abbd23de28Daniel CalegariWarning (15,7) redeclared class 'a'

eb06c6332e2e2ef6f5d1cdd74c5ce7abbd23de28Daniel CalegariError (15,11) cyclic class relation via 'a'

acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariWarning (17,7) redeclared class 'a'

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederError (17,7) class cannot become an alias class 'a'

1a38107941725211e7c3f051f7a8f5e12199f03acmaederWarning (18,7) redeclared class 'b'

acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariError (18,7) class cannot become an alias class 'b'

acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariWarning (20,7) redeclared class 'd'

eb06c6332e2e2ef6f5d1cdd74c5ce7abbd23de28Daniel CalegariError (20,7) class cannot become an alias class 'd'

a58d43a4b2864a25ab74b96758fb9d98f18eeed7Daniel CalegariWarning (25,7) redeclared class 'h'

a58d43a4b2864a25ab74b96758fb9d98f18eeed7Daniel CalegariError (25,7) inconsistent redefinition of 'h'

d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariWarning (27,21) unchecked type 't'

d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariError (33,9) undeclared type 's'

a58d43a4b2864a25ab74b96758fb9d98f18eeed7Daniel CalegariWarning (37,9) unchecked type 't'

d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariError (39,6) non-matching kind arity

acc049a844d19fb294ce7f68742390dee87447dcDaniel Calegari