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

4 Commits

Author SHA1 Message Date
Ámbar Tenorio Fornés
de00212bb6 fix hydra performance issues 2023-11-22 12:27:18 +01:00
Felix Roos
22c9829fea add H function to plug patterns into Hydra 2023-10-26 16:05:10 +02:00
Felix Roos
0f7b3e9f84 add docs + fix hydra for mini repl 2023-10-26 16:01:51 +02:00
Felix Roos
7f3cdedef9 basic hydra integration 2023-10-26 13:05:54 +02:00