Skip to content

Actions: thma/lambda-ski

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
simpler approach Haskell-CI #105: Commit 8e8f02a pushed by thma
2m 20s main
main
2m 20s
show that term reducer can handle explicit fix point combinator Haskell-CI #104: Commit a54f863 pushed by thma
2m 11s main
main
2m 11s
add documentation Haskell-CI #103: Commit ffc7470 pushed by thma
2m 22s main
main
2m 22s
simplify even more Haskell-CI #102: Commit b583b2e pushed by thma
2m 19s main
main
2m 19s
simplify compiler Haskell-CI #101: Commit e108da5 pushed by thma
2m 39s main
main
2m 39s
clean up Haskell-CI #100: Commit d558526 pushed by thma
8m 43s main
main
8m 43s
get rid of old compiler Haskell-CI #99: Commit e25d16f pushed by thma
8m 49s main
main
8m 49s
fix ci Haskell-CI #98: Commit 36a77df pushed by thma
2m 12s main
main
2m 12s
simple interpretation without Hask Haskell-CI #97: Commit 31b1cf1 pushed by thma
2m 20s main
main
2m 20s
split naive compilation in separate module Haskell-CI #96: Commit a46d394 pushed by thma
2m 20s main
main
2m 20s
add naive compiler Haskell-CI #95: Commit 90cee70 pushed by thma
2m 18s main
main
2m 18s
Implement more simplifications Haskell-CI #94: Commit c2822d4 pushed by thma
2m 17s main
main
2m 17s
keep compilation and simpflify separate Haskell-CI #93: Commit 35c78c8 pushed by thma
2m 39s main
main
2m 39s
more idiomatic handling for bools Haskell-CI #92: Commit f45e88f pushed by thma
3m 7s main
main
3m 7s
use scott encoded booleans as in the Combinator based implementations Haskell-CI #91: Commit 11d9fec pushed by thma
2m 23s main
main
2m 23s
use more of Hask Haskell-CI #90: Commit 0eb706a pushed by thma
2m 17s main
main
2m 17s
generalize compiler wrt Y and Fix Haskell-CI #89: Commit a2be607 pushed by thma
2m 16s main
main
2m 16s
repair CI Haskell-CI #88: Commit 470d1be pushed by thma
8m 55s main
main
8m 55s
add comparison of HHI reducer and CCC interp. Haskell-CI #87: Commit 82dc99b pushed by thma
6s main
main
6s
add some comments to compiler Haskell-CI #86: Commit ed08a66 pushed by thma
6s main
main
6s
get rid of evaluation in compiler Haskell-CI #85: Commit cacb498 pushed by thma
7s main
main
7s
update compiler Haskell-CI #84: Commit 1c7bcf9 pushed by thma
7s main
main
7s
simplify Haskell-CI #83: Commit 56ea397 pushed by thma
7s main
main
7s
simplify Haskell-CI #82: Commit c4adbce pushed by thma
7s main
main
7s
simplify Haskell-CI #81: Commit 2767bdb pushed by thma
6s main
main
6s