Skip to content

Actions: agda/agda2hs

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ re #357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x)… Docs #144: Commit 6715421 pushed by jespercockx
September 19, 2024 14:36 30s master
master
September 19, 2024 14:36 30s
[ fix #359 ] Do not reapply clauses of projection-like functions to t… Docs #143: Commit 76e9c4c pushed by jespercockx
September 12, 2024 08:40 29s master
master
September 12, 2024 08:40 29s
New (simpler but more robust) implementation of canonicity check Docs #142: Commit 03c9aae pushed by jespercockx
September 7, 2024 12:14 3m 47s master
master
September 7, 2024 12:14 3m 47s
add missing import to AllFailTests.agda Docs #141: Commit 0467b26 pushed by flupe
August 15, 2024 08:55 27s master
master
August 15, 2024 08:55 27s
remove imports of Haskell.Prim.Function Docs #140: Commit fb73f2d pushed by flupe
August 14, 2024 15:15 36s master
master
August 14, 2024 15:15 36s
Fix typo Docs #139: Commit 7753783 pushed by jespercockx
July 27, 2024 09:36 31s master
master
July 27, 2024 09:36 31s
[ re #342 ] Proper compilation of projections from tuple records Docs #138: Commit 185dcca pushed by jespercockx
July 26, 2024 15:07 29s master
master
July 26, 2024 15:07 29s
[ re #342 ] Proper compilation of projections from tuple records Docs #137: Commit b0a185d pushed by jespercockx
July 26, 2024 15:04 31s master
master
July 26, 2024 15:04 31s
Define Rezz in terms of \exists Docs #136: Commit 83ce549 pushed by jespercockx
July 24, 2024 07:20 28s master
master
July 24, 2024 07:20 28s
Remove special handling of tuple types in the prelude Docs #135: Commit 3ca7265 pushed by jespercockx
July 23, 2024 15:38 37s master
master
July 23, 2024 15:38 37s
[ fix #340 ] Compile pattern lambda to regular lambda if all proper p… Docs #134: Commit f0bd92a pushed by jespercockx
July 22, 2024 14:00 49s master
master
July 22, 2024 14:00 49s
Run the makefile to generate a proper golden test Docs #133: Commit 0fc20cc pushed by jespercockx
July 10, 2024 08:25 30s master
master
July 10, 2024 08:25 30s
Make it work on ghc 9.8.2 Docs #132: Commit f8b9a22 pushed by jespercockx
July 10, 2024 08:07 32s master
master
July 10, 2024 08:07 32s
fix: Haskell.Law.Num to re-export all instances Docs #131: Commit ec37285 pushed by jespercockx
July 9, 2024 12:37 30s master
master
July 9, 2024 12:37 30s
Avoid double parentheses Docs #130: Commit f5ac455 pushed by jespercockx
July 2, 2024 15:03 36s master
master
July 2, 2024 15:03 36s
Closes #309: Ensures we compile pattern variables correctly by relying Docs #129: Commit fdbebb6 pushed by jespercockx
June 10, 2024 07:56 29s master
master
June 10, 2024 07:56 29s
Rebuild test files when appropriate Docs #128: Commit 4c750c6 pushed by jespercockx
June 9, 2024 12:16 32s master
master
June 9, 2024 12:16 32s
Add an Any type Docs #127: Commit 1e2559a pushed by jespercockx
June 9, 2024 12:15 35s master
master
June 9, 2024 12:15 35s
add nix files to git ignore, update imports in tutorials Docs #126: Commit 2d63a66 pushed by jespercockx
June 9, 2024 12:08 33s master
master
June 9, 2024 12:08 33s
Add release notes for 1.2 which mysteriously disappeared Docs #125: Commit 9388b77 pushed by jespercockx
June 7, 2024 12:12 33s master
master
June 7, 2024 12:12 33s
[ fix #302 ] Move _/=_ function out of the Eq record Docs #124: Commit 7d734a2 pushed by jespercockx
May 24, 2024 13:25 32s master
master
May 24, 2024 13:25 32s
Update test make dependencies Docs #123: Commit cb60e04 pushed by jespercockx
May 14, 2024 09:35 33s master
master
May 14, 2024 09:35 33s
Removing duplicated information about Emacs mode Docs #122: Commit 7b3e48a pushed by omelkonian
April 19, 2024 11:18 32s master
master
April 19, 2024 11:18 32s
remove a dependency on mkAgdaDerivation Docs #121: Commit 600885f pushed by jespercockx
April 12, 2024 13:03 2m 18s master
master
April 12, 2024 13:03 2m 18s
[ fix #310 ] compile Sigma pattern Docs #120: Commit 1ddeb68 pushed by jespercockx
April 12, 2024 13:02 28s master
master
April 12, 2024 13:02 28s