ottergottaott pushed to master at sci-hunt/projs-2025-spring
-
c14fdd8949 Init: add frontend project description
2 months ago
ottergottaott created repository sci-hunt/projs-2025-spring
2 months ago
ottergottaott
transferred repository ottergottaott/projs-2024-autumn
to sci-hunt/projs-2024-autumn
2 months ago
ottergottaott created repository sci-hunt/projs-2024-autumn
6 months ago
ottergottaott pushed to master at ottergottaott/home-library
-
c67c9af1e9 More books and type theory shelve
2 years ago
ottergottaott pushed to master at ottergottaott/home-library
-
3a1a67ad04 Add software foundations shelve
2 years ago
ottergottaott pushed to master at ottergottaott/home-library
-
e6aa2359b7 Add computation intro pdf
2 years ago
ottergottaott pushed to master at ottergottaott/home-library
-
36d2ac2110 Add not working journal entry
2 years ago
ottergottaott pushed to master at ottergottaott/home-library
-
2725b14e74 Some reorganisation
2 years ago
ottergottaott pushed to master at ottergottaott/home-library
-
31c3b78fdc Some reorganisation
2 years ago