Algebras for pointed endofunctors and Kelly's transfinite constructio… · rmatthes/UniMath@83a1bb2

Postfix notations (i.e. starting with a nonterminal symbol and

Closed notations (i.e. starting and ending with a terminal symbol)

Postfix notations (i.e. starting with a nonterminal symbol and

Postfix notations (i.e. starting with a nonterminal symbol and

Postfix notations (i.e. starting with a nonterminal symbol and

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Notations "_ ^ _" defined at level 30 with arguments constr

Declaring a scope implicitly is deprecated; use in advance an

Overwriting previous delimiting key retract in scope morcls

disp_nat_z_iso_to_trans does not respect the uniform inheritance

The process '/usr/bin/git' failed with exit code 128

You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 86 MB

Provide feedback