31 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Boyan	37064bc265	Writeups readme	2025-03-21 17:50:30 +01:00
Boyan	d1531d45d9	formatting	2025-03-21 17:34:11 +01:00
Boyan	439eca6a95	Writeups section	2025-03-21 17:33:45 +01:00
Boyan	768bb71b69	Unnecessary repetition	2025-03-21 17:32:14 +01:00
Boyan	baea812155	center>	2025-03-21 17:30:18 +01:00
Boyan	ceb94046ab	Centered table text	2025-03-21 17:27:10 +01:00
Boyan	69e94d5fa4	Added links	2025-03-21 17:26:30 +01:00
Boyan	775daf2271	center	2025-03-21 17:25:30 +01:00
Boyan	59dc0307b3	center	2025-03-21 17:24:36 +01:00
Boyan	0420a41d3d	html table nicer	2025-03-21 17:23:57 +01:00
Boyan	625233299a	ADded sanic logo	2025-03-21 17:19:10 +01:00
Boyan	321b6d4067	Updated big README	2025-03-21 17:18:25 +01:00
Boyan	b5a0c48aee	Cool	2025-03-21 17:13:33 +01:00
Boyan	ed3e43889e	monads	2025-03-21 17:09:04 +01:00
Boyan	923a17f7ff	session 2	2025-03-16 17:25:05 +01:00
Boyan	0dd25768c8	session 2	2025-03-16 17:24:43 +01:00
Boyan	c09b029e90	removed redundant	2025-03-13 19:45:14 +01:00
Boyan	82296adba1	Updated main readme with ideas	2025-03-13 19:44:22 +01:00
Boyan	4d742b6b88	Added first session notes	2025-03-13 19:36:47 +01:00
Boyan	a30e91976a	Added haskell README	2025-03-13 19:36:38 +01:00
Boyan	2e97717395	Unified design of main readmes	2025-03-13 19:36:31 +01:00
Boyan	ab3c6ed53a	Update main readme	2025-03-13 19:36:11 +01:00
Boyan	2828b36251	added coq	2025-03-13 15:02:40 +01:00
Boyan	063a474852	added coq	2025-03-13 15:02:20 +01:00
Boyan	1b8113ad8b	added coq	2025-03-13 14:57:11 +01:00
Boyan	fa238c9da8	Began memeory safety writeup	2025-02-03 20:44:46 +01:00
Boyan	cfd0587495	Added practical swift	2025-02-03 20:44:36 +01:00
Boyan	5fd02a3287	Image	2025-02-03 20:44:26 +01:00
Boyan	f0bb94ebd5	Worked on Swift documentation	2025-02-03 20:44:15 +01:00
Boyan	2bdf142d39	Added README	2025-02-03 19:08:33 +01:00
boyan_k	88bdc90a20	Initial commit	2025-02-03 18:59:18 +01:00