~fgaz/bachelor-thesis

#74580 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago success

build publish

success 1 year, 1 month ago

#74578 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago success

build publish

success 1 year, 1 month ago

#74577 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago success

build publish

success 1 year, 1 month ago

#74573 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago success

ceafff7Francesco Gazzetta

Spellcheck

build publish

success 1 year, 1 month ago

#74569 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago success

5bfb925Francesco Gazzetta

Add complete example as attachment

build publish

success 1 year, 1 month ago

#74565 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago success

8e5e99eFrancesco Gazzetta

A ton of fixes

build publish

success 1 year, 1 month ago

#74214 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago success

e43eed5Francesco Gazzetta

Minor edits

build publish

success 1 year, 1 month ago

#73791 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago success

b3d5d8fFrancesco Gazzetta

GADT citation

build publish

success 1 year, 1 month ago

#73762 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago success

99fd551Francesco Gazzetta

Results, conclusion

build publish

success 1 year, 1 month ago

#73758 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago failed

884f7bfFrancesco Gazzetta

Results, conclusion

build publish

failed 1 year, 1 month ago

#73600 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago success

ea511b7Francesco Gazzetta

Mention liquid haskell bug

build publish

success 1 year, 1 month ago

#73597 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago success

build publish

success 1 year, 1 month ago

#73593 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago failed

build publish

failed 1 year, 1 month ago

#73589 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago success

940aff9Francesco Gazzetta

Remove empty attachments

build publish

success 1 year, 1 month ago

#73588 ~fgaz/bachelor-thesis/.build.yml 1 year, 1 month ago success

216dcecFrancesco Gazzetta

Fix formula

build publish

success 1 year, 1 month ago

1 / 2