Skip to content

Actions: michaelsippel/lib-laddertypes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'topic-parameter-normal-form' into dev Rust #32: Commit a483703 pushed by michaelsippel
August 4, 2024 22:15 15s dev
dev
August 4, 2024 22:15 15s
readme: add syntax description and roadmap Rust #31: Commit 658134d pushed by michaelsippel
May 1, 2024 16:39 15s dev
dev
May 1, 2024 16:39 15s
add gitignore Rust #30: Commit d7502e6 pushed by michaelsippel
January 21, 2024 00:07 19s dev
dev
January 21, 2024 00:07 19s
parser test: also test variable-ids Rust #29: Commit 0fb3f6e pushed by michaelsippel
November 11, 2023 15:27 26s dev
dev
November 11, 2023 15:27 26s
substitutions Rust #28: Commit 74177d1 pushed by michaelsippel
October 31, 2023 01:54 34s dev
dev
October 31, 2023 01:54 34s
README: minor improvements Rust #27: Commit aacafb3 pushed by michaelsippel
October 3, 2023 03:12 22s dev
dev
October 3, 2023 03:12 22s
README: minor improvements Rust #26: Commit 435e2f8 pushed by michaelsippel
October 3, 2023 02:42 21s dev
dev
October 3, 2023 02:42 21s
lnf: remove unnecessary mut Rust #25: Commit f45593c pushed by michaelsippel
October 3, 2023 01:35 19s dev
dev
October 3, 2023 01:35 19s
add more subtype test-cases & fix normalize in case of normalizing su… Rust #24: Commit 3b944d1 pushed by michaelsippel
October 2, 2023 17:17 30s dev
dev
October 2, 2023 17:17 30s
implement subtype checks Rust #23: Commit ccd60fc pushed by michaelsippel
October 2, 2023 16:58 14s dev
dev
October 2, 2023 16:58 14s
add more complex normalization test & fix normalization of applicatio… Rust #22: Commit 3014213 pushed by michaelsippel
October 2, 2023 16:58 24s dev
dev
October 2, 2023 16:58 24s
implement ladder normalization Rust #21: Commit 7b22bdc pushed by michaelsippel
October 2, 2023 16:48 14s dev
dev
October 2, 2023 16:48 14s
fix warnings Rust #20: Commit 61c06d5 pushed by michaelsippel
October 2, 2023 13:16 30s dev
dev
October 2, 2023 13:16 30s
README: add small code example Rust #19: Commit c96218e pushed by michaelsippel
October 2, 2023 13:10 17s dev
dev
October 2, 2023 13:10 17s
parser: remove FromStr & always improve parse() function Rust #18: Commit e60c60c pushed by michaelsippel
October 2, 2023 13:05 31s dev
dev
October 2, 2023 13:05 31s
add curry/decurry Rust #17: Commit 2d3b234 pushed by michaelsippel
October 2, 2023 12:54 28s dev
dev
October 2, 2023 12:54 28s
lexer: allow escaped characters in char-token Rust #16: Commit f234e6e pushed by michaelsippel
October 2, 2023 00:05 26s dev
dev
October 2, 2023 00:05 26s
lexer: allow escaped characters in char-token Rust #15: Commit 99bb7e4 pushed by michaelsippel
October 2, 2023 00:04 59s dev
dev
October 2, 2023 00:04 59s
lexer: allow escaped characters in char-token Rust #14: Commit e882f99 pushed by michaelsippel
October 2, 2023 00:01 35s dev
dev
October 2, 2023 00:01 35s
add curry/decurry Rust #13: Commit 3bd7756 pushed by michaelsippel
October 1, 2023 23:46 23s dev
dev
October 1, 2023 23:46 23s
lexer: improve whitespace handling Rust #12: Commit da89919 pushed by michaelsippel
October 1, 2023 23:35 22s dev
dev
October 1, 2023 23:35 22s
lexer: improve whitespace handling Rust #11: Commit a9c8b8d pushed by michaelsippel
October 1, 2023 23:34 23s dev
dev
October 1, 2023 23:34 23s
lexer: improve whitespace handling Rust #10: Commit bea8551 pushed by michaelsippel
October 1, 2023 23:30 19s dev
dev
October 1, 2023 23:30 19s
lexer: change num type to i64 Rust #9: Commit cb91fa5 pushed by michaelsippel
October 1, 2023 16:43 16s dev
dev
October 1, 2023 16:43 16s
term: remove unused import Rust #8: Commit e89e16a pushed by michaelsippel
October 1, 2023 16:27 24s dev
dev
October 1, 2023 16:27 24s