Merge branch 'master' into 'main'
Master See merge request !8
Showing
- app/Main.hs 85 additions, 83 deletionsapp/Main.hs
- dist-newstyle/cache/config 0 additions, 0 deletionsdist-newstyle/cache/config
- dist-newstyle/cache/up-to-date 0 additions, 0 deletionsdist-newstyle/cache/up-to-date
- presentations.pdf 0 additions, 0 deletionspresentations.pdf
- presentations.tex 12 additions, 36 deletionspresentations.tex
Loading
Please register or sign in to comment