Skip to content

Actions: JonasHoefer/poset-type-theory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Print sequence of unfolded definition lazily Build Haskell #67: Commit 56f6c97 pushed by JonasHoefer
August 19, 2024 10:19 2m 47s main
main
August 19, 2024 10:19 2m 47s
Add -h option to hide unfolded term in REPL Build Haskell #66: Commit b573007 pushed by JonasHoefer
August 19, 2024 10:09 3m 3s main
main
August 19, 2024 10:09 3m 3s
Improve REPL help message for :unfold options Build Haskell #65: Commit 9a267b3 pushed by JonasHoefer
August 19, 2024 09:32 2m 43s main
main
August 19, 2024 09:32 2m 43s
Add option to display head unfolding information sequentially/summed Build Haskell #64: Commit f14d114 pushed by JonasHoefer
August 19, 2024 09:28 2m 42s main
main
August 19, 2024 09:28 2m 42s
Linear unfolding continues unfolding in single argument HIT constructors Build Haskell #63: Commit 90daa4e pushed by JonasHoefer
August 18, 2024 13:34 2m 44s main
main
August 18, 2024 13:34 2m 44s
Linear unfolding continuous unfolding single argument HIT constructors Build Haskell #62: Commit 3d50b2c pushed by JonasHoefer
August 18, 2024 12:26 3m 4s main
main
August 18, 2024 12:26 3m 4s
More convenient head unfolding in REPL Build Haskell #61: Commit db21b51 pushed by JonasHoefer
August 18, 2024 12:20 6m 9s main
main
August 18, 2024 12:20 6m 9s
Correct case for hComp in inductive type in head linear reduction Build Haskell #60: Commit e1bbe90 pushed by JonasHoefer
July 17, 2024 14:03 2m 47s main
main
July 17, 2024 14:03 2m 47s
Simplify handling of telescopes Build Haskell #59: Commit 8b4b734 pushed by JonasHoefer
July 16, 2024 22:17 2m 39s main
main
July 16, 2024 22:17 2m 39s
Fix endpoints in comp combinator Build Haskell #58: Commit d416b8d pushed by JonasHoefer
July 16, 2024 22:08 2m 50s main
main
July 16, 2024 22:08 2m 50s
Add error for wrong constructor arity in higher splits Build Haskell #57: Commit 32c491d pushed by JonasHoefer
July 16, 2024 17:57 6m 26s main
main
July 16, 2024 17:57 6m 26s
Use Map instead of list for scope checking Build Haskell #56: Commit 7f5b86e pushed by JonasHoefer
July 8, 2024 11:33 6m 11s main
main
July 8, 2024 11:33 6m 11s
Add missing case in scope checker Build Haskell #55: Commit ffa28fe pushed by JonasHoefer
June 26, 2024 15:40 2m 47s main
main
June 26, 2024 15:40 2m 47s
Add hcomp case for coe in HITs Build Haskell #54: Commit e1ac604 pushed by JonasHoefer
June 26, 2024 14:58 2m 45s main
main
June 26, 2024 14:58 2m 45s
Add missing case in quotation Build Haskell #53: Commit c00afc9 pushed by JonasHoefer
June 26, 2024 14:48 2m 44s main
main
June 26, 2024 14:48 2m 44s
Add case for HITs in doCoePartial Build Haskell #52: Commit f376e5f pushed by JonasHoefer
June 26, 2024 13:40 3m 38s main
main
June 26, 2024 13:40 3m 38s
Add case for in Build Haskell #51: Commit 715ab55 pushed by JonasHoefer
June 26, 2024 13:38 2m 17s main
main
June 26, 2024 13:38 2m 17s
Simplify checking of multiple definitions Build Haskell #50: Commit c4a625a pushed by JonasHoefer
June 22, 2024 20:15 3m 13s main
main
June 22, 2024 20:15 3m 13s
Fix reversed environment after type checking Build Haskell #49: Commit 5a7a537 pushed by JonasHoefer
June 20, 2024 16:43 2m 58s main
main
June 20, 2024 16:43 2m 58s
Add lock and unlock operations similar to cubicaltt Build Haskell #48: Commit b4cb8d9 pushed by JonasHoefer
June 19, 2024 21:28 2m 46s main
main
June 19, 2024 21:28 2m 46s
Add missing case to restriction of environment Build Haskell #47: Commit 48bd0d3 pushed by JonasHoefer
June 19, 2024 17:08 4m 6s main
main
June 19, 2024 17:08 4m 6s
Fix repl autocompletion for identifiers with non-alphanum idents Build Haskell #46: Commit 990c425 pushed by JonasHoefer
May 24, 2024 16:03 3m 29s main
main
May 24, 2024 16:03 3m 29s
Add missing case for stuck hComp in Sum type in conv. checking Build Haskell #45: Commit 38cfaf3 pushed by JonasHoefer
May 23, 2024 09:49 2m 37s main
main
May 23, 2024 09:49 2m 37s
Add missing case to unConSys used for neutral hComps (closes #3) Build Haskell #44: Commit b425178 pushed by JonasHoefer
May 22, 2024 13:49 4m 0s main
main
May 22, 2024 13:49 4m 0s
Proof of univalence Build Haskell #43: Commit 463e897 pushed by JonasHoefer
May 8, 2024 13:40 2m 45s main
main
May 8, 2024 13:40 2m 45s