elias/strudel-docker
1
0
Fork 0
mirror of https://github.com/eliasstepanik/strudel-docker.git synced 2026-01-20 10:08:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
3,180 Commits 1 Branch 0 Tags
Commit Graph

3 Commits

Author SHA1 Message Date
Felix Roos
975a198ee9 whole docs now run new repl 
- move MicroRepl code to MiniRepl
- fix a ssr bug
 2023-12-28 20:36:23 +01:00
Bernhard Wagner
9dbf52bedb ADDS: Continuation to Pattern Alignment 2023-02-16 15:20:26 +01:00
Felix Roos
d7ea37c917 add technical manual to docs 2022-12-26 22:43:02 +01:00