Skip to content
CI

universal property of tensor, epsilon and linear funs, combinators for literals #34

Sign in to view logs

universal property of tensor, epsilon and linear funs, combinators for literals

universal property of tensor, epsilon and linear funs, combinators for literals #34

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-whitespace
5m 59s
compile-agda
19m 20s
25m 19s