Skip to content

Actions: thma/lambda-ski

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
simplify Haskell-CI #80: Commit 6411e0a pushed by thma
8s main
main
8s
avoid eager evaluation in compile Haskell-CI #79: Commit 4a819b3 pushed by thma
6s main
main
6s
adding the simplify optimisation to the compiler Haskell-CI #78: Commit 4a36324 pushed by thma
6s main
main
6s
added Y and integer primitives Haskell-CI #77: Commit e1f690e pushed by thma
7s main
main
7s
towards lambda to CCC compiler Haskell-CI #76: Commit 6213dd1 pushed by thma
6s main
main
6s
fix typo Haskell-CI #75: Commit f64c5af pushed by thma
7s main
main
7s
improve the termreducer Haskell-CI #74: Commit 8dbc992 pushed by thma
7s main
main
7s
clean ! Haskell-CI #73: Commit 0b311b1 pushed by thma
7s main
main
7s
more cleanup! Haskell-CI #72: Commit 9d1484b pushed by thma
7s main
main
7s
clean up a bit Haskell-CI #71: Commit 934e0a5 pushed by thma
7s main
main
7s
got the termReducer working Haskell-CI #70: Commit b38a830 pushed by thma
7s main
main
7s
add benchmark for mhs compile + execute Haskell-CI #69: Commit 8ebefe9 pushed by thma
13s main
main
13s