summaryrefslogtreecommitdiff
path: root/app/Web.hs
AgeCommit message (Expand)Author
2024-01-18src urlcyfraeviolae
2022-02-28stylescyfraeviolae
2022-02-24fix decide urlcyfraeviolae
2022-02-23gitcyfraeviolae
2022-02-22buildcyfraeviolae
2021-05-30associativity for -> and <->cyfraeviolae
2021-05-29Generalize Le/Lt to support multiple addendscyfraeviolae
2021-05-29Cleanup hopcroftcyfraeviolae
2021-05-18fix additive identity examplecyfraeviolae
2021-05-17examplescyfraeviolae
2021-05-16initcyfraeviolae