Skip to content

Actions: plclub/StraTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Comment out part of Dec that doesn't work instead of printing a hole Haskell CI #27: Commit fa8ca1d pushed by ionathanch
September 18, 2023 20:02 2m 26s main
main
September 18, 2023 20:02 2m 26s
Add Dec to README Haskell CI #26: Commit 57e0fd3 pushed by ionathanch
September 18, 2023 19:32 2m 12s main
main
September 18, 2023 19:32 2m 12s
Rename EM to Dec (decidable types) Haskell CI #25: Commit b7a29cc pushed by ionathanch
September 18, 2023 15:52 2m 37s main
main
September 18, 2023 15:52 2m 37s
Don't get rid of constraints when we print Haskell CI #24: Commit 485aacb pushed by ionathanch
September 18, 2023 15:17 2m 51s main
main
September 18, 2023 15:17 2m 51s
Add excluded middle as an example Haskell CI #23: Commit 8eadf7d pushed by ionathanch
September 18, 2023 03:25 2m 47s main
main
September 18, 2023 03:25 2m 47s
Removed some annotations where unneeded from example files Haskell CI #22: Commit d752cfe pushed by ionathanch
September 12, 2023 20:01 18m 5s main
main
September 12, 2023 20:01 18m 5s
Add Z3 requirement to README. Haskell CI #21: Commit f2448ba pushed by ionathanch
August 23, 2023 23:27 10m 47s main
main
August 23, 2023 23:27 10m 47s
Add examples from paper to one big file. Haskell CI #20: Commit 3d692b3 pushed by ionathanch
August 23, 2023 23:15 12m 7s main
main
August 23, 2023 23:15 12m 7s
Add builtin Void + absurd bc it was annoying me Haskell CI #19: Commit 1077564 pushed by ionathanch
August 22, 2023 18:53 13m 59s main
main
August 22, 2023 18:53 13m 59s
Cleanup example files for submission Haskell CI #18: Commit 4f8da26 pushed by ionathanch
August 22, 2023 18:02 10m 43s main
main
August 22, 2023 18:02 10m 43s
Remove .vscode settings Haskell CI #17: Commit 651b7c4 pushed by ionathanch
August 17, 2023 19:14 13m 32s main
main
August 17, 2023 19:14 13m 32s
Update GHC/HLS/Stack/whatever version Haskell CI #16: Commit bf07cbc pushed by ionathanch
August 17, 2023 19:11 7m 41s main
main
August 17, 2023 19:11 7m 41s
Update some .pi examples Haskell CI #15: Commit 1a4f724 pushed by ionathanch
August 16, 2023 20:34 9m 33s main
main
August 16, 2023 20:34 9m 33s
Make README for paper submission as entry point for supplementary mat… Haskell CI #14: Commit bba1bd1 pushed by ionathanch
August 16, 2023 20:31 12m 3s main
main
August 16, 2023 20:31 12m 3s
More examples Haskell CI #13: Commit 93dcf60 pushed by ionathanch
August 11, 2023 05:26 9m 18s main
main
August 11, 2023 05:26 9m 18s
Fix Hurkens' paradox to type check all the way to M; improve error me… Haskell CI #12: Commit d0d3e12 pushed by ionathanch
August 9, 2023 17:22 15m 53s main
main
August 9, 2023 17:22 15m 53s