ethz/act4e - Applied Category Theory for Engineering 1 Maker Track @ ETHZ

	Commit message (Collapse)	Author	Age	Files	Lines
*	fix	Andrea Censi	2022-02-27	5	-10/+35
\|
*	more exercises	Andrea Censi	2022-02-26	10	-107/+21
\|
*	more comments	Andrea Censi	2022-02-23	2	-3/+3
\|
*	merge	Andrea Censi	2022-02-22	16	-33/+162
\|\
\| *	settings	Andrea Censi	2022-02-22	2	-1/+9
\| \|
\| *	some excludes	Andrea Censi	2022-02-22	1	-1/+2
\| \|
\| *	updates	Andrea Censi	2022-02-22	12	-28/+19
\| \|
\| *	Update README.md	Gioele Zardini	2022-02-22	1	-0/+2
\| \|
\| *	fix	Andrea Censi	2022-02-22	3	-5/+36
\| \|
\| *	fix	Andrea Censi	2022-02-22	4	-1/+79
\| \|
* \|	misc	Andrea Censi	2022-02-22	6	-40/+20
\|\ \ \| \|/
\| *	fix	Andrea Censi	2022-02-21	1	-6/+1
\| \|
\| *	ok	Andrea Censi	2022-02-21	4	-28/+15
\| \|
\| *	Merge branch 'alphubel-stage' of github.com:ACT4E/ACT4E-exercises-template ↵	Andrea Censi	2022-02-21	25	-1/+492
\| \|\ \| \| \| \| \| \| \| \| \|	into alphubel-stage
\| * \|	fix	Andrea Censi	2022-02-21	3	-7/+5
\| \| \|
* \| \|	more comments	Andrea Censi	2022-02-22	9	-31/+33
\| \| \|
* \| \|	fix	Andrea Censi	2022-02-21	2	-41/+22
\| \|/ \|/\|
* \|	Bump to version 7.1.2202211124 [ci skip]	Andrea Censi	2022-02-21	1	-1/+1
\| \|
* \|	skeletons	Andrea Censi	2022-02-21	22	-50/+42
\| \|
* \|	Bump to version 7.1.2202211122 [ci skip]	Andrea Censi	2022-02-21	1	-1/+1
\| \|
* \|	skeletons	Andrea Censi	2022-02-21	24	-0/+499
\| \|
* \|	Bump to version 7.1.2202211059 [ci skip]	Andrea Censi	2022-02-21	1	-1/+1
\| \|
* \|	Bump to version 7.1.2202211020 [ci skip]	Andrea Censi	2022-02-21	1	-1/+1
\|/
*	fix	Andrea Censi	2022-02-21	1	-1/+1
\|
*	Bump to version 7.1.2110170951	Andrea Censi	2021-10-17	1	-1/+1
\|
*	[ci skip]	Andrea Censi	2021-10-17	2	-4/+4
\|
*	Bump to version 7.1.2110161309	Andrea Censi	2021-10-16	1	-2/+2
\|
*	[ci skip]	Andrea Censi	2021-10-16	1	-2/+2
\|
*	Bump to version 7.1.2110161242	Andrea Censi	2021-10-16	1	-1/+1
\|
*	fix	Andrea Censi	2021-10-16	2	-3/+6
\|
*	Bump to version 7.1.2110152134	Andrea Censi	2021-10-15	1	-1/+1
\|
*	templates	Andrea Censi	2021-10-15	3	-1/+66
\|
*	Bump to version 7.1.2110151556	Andrea Censi	2021-10-15	1	-1/+1
\|
*	fix	Andrea Censi	2021-10-15	1	-1/+1
\|
*	Bump to version 7.1.2109291210	Andrea Censi	2021-09-29	1	-1/+1
\|
*	misc	Andrea Censi	2021-09-29	1	-7/+2
\|
*	Bump to version 7.1.2104061654	Andrea Censi	2021-09-14	1	-0/+18
\|
*	added .DS_Store to gitignore	JonathanLorand	2021-04-06	1	-0/+2
\|
*	fix	Andrea Censi	2021-03-04	1	-6/+3
\|
*	fix	Andrea Censi	2021-02-21	1	-3/+3
\|
*	First	Andrea Censi	2021-02-20	5	-0/+48