Skip to content

Actions: hazelgrove/tylr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
248 workflow runs
248 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

order walks based on height + mtrl deploy tylr #522: Commit e93285b pushed by dm0n3y
May 24, 2024 20:49 3m 33s melds
melds
May 24, 2024 20:49 3m 33s
fix meld length bug deploy tylr #521: Commit 579c298 pushed by dm0n3y
May 22, 2024 19:02 3m 42s melds
melds
May 22, 2024 19:02 3m 42s
started adding in more complex exps deploy tylr #520: Commit b2f6fc8 pushed by green726
May 21, 2024 19:24 4m 2s lang_rust
lang_rust
May 21, 2024 19:24 4m 2s
cleaned up old prop operators deploy tylr #519: Commit e5aa0ed pushed by green726
May 14, 2024 19:39 3m 24s lang_prop_logic
lang_prop_logic
May 14, 2024 19:39 3m 24s
fixed issues in zoom with david 5/14/24 deploy tylr #518: Commit b58665d pushed by green726
May 14, 2024 19:38 3m 29s lang_prop_logic
lang_prop_logic
May 14, 2024 19:38 3m 29s
use sets in walk index deploy tylr #517: Commit d528e6c pushed by dm0n3y
May 6, 2024 18:34 3m 37s melds
melds
May 6, 2024 18:34 3m 37s
added basic rust sorts deploy tylr #516: Commit a86e8ca pushed by green726
May 6, 2024 16:54 3m 32s lang_rust
lang_rust
May 6, 2024 16:54 3m 32s
very simple propositional logic implemented in tylr deploy tylr #515: Commit 0a4da4e pushed by green726
May 6, 2024 16:33 3m 35s lang_prop_logic
lang_prop_logic
May 6, 2024 16:33 3m 35s
refactor to operate on reversed walks deploy tylr #514: Commit d18aa5b pushed by dm0n3y
May 5, 2024 02:38 3m 29s melds
melds
May 5, 2024 02:38 3m 29s
fixed the issues with assoc, prec, and operands found in meeting on 4… deploy tylr #513: Commit 2cad5c7 pushed by green726
April 30, 2024 22:33 3m 32s lang_hazel
lang_hazel
April 30, 2024 22:33 3m 32s
some more changes to the hazel grammar deploy tylr #512: Commit 27bb642 pushed by green726
April 30, 2024 19:35 3m 31s lang_hazel
lang_hazel
April 30, 2024 19:35 3m 31s
built in basic typ to the hazel grammar deploy tylr #511: Commit 780d0dc pushed by green726
April 28, 2024 17:53 3m 45s lang_hazel
lang_hazel
April 28, 2024 17:53 3m 45s
started building out the hazel grammar - basic exps and pats implemented deploy tylr #510: Commit 4b1a0ba pushed by green726
April 28, 2024 17:47 3m 20s lang_hazel
lang_hazel
April 28, 2024 17:47 3m 20s
renders deploy tylr #509: Commit fdc9d1d pushed by dm0n3y
April 27, 2024 18:26 3m 50s melds
melds
April 27, 2024 18:26 3m 50s
add opam.export deploy tylr #508: Commit 526ba8e pushed by dm0n3y
April 25, 2024 20:23 3m 59s melds
melds
April 25, 2024 20:23 3m 59s
js of ocaml effects flag deploy tylr #507: Commit 5c754a8 pushed by green726
April 24, 2024 18:15 3m 33s lang_hazel
lang_hazel
April 24, 2024 18:15 3m 33s
js of ocaml effects flag deploy tylr #506: Commit 5c754a8 pushed by green726
April 24, 2024 18:15 3m 28s langhazel
langhazel
April 24, 2024 18:15 3m 28s
js of ocaml effects flag deploy tylr #505: Commit 5c754a8 pushed by green726
April 24, 2024 18:14 3m 27s hazel_grammar
hazel_grammar
April 24, 2024 18:14 3m 27s
js of ocaml effects flag deploy tylr #504: Commit 5c754a8 pushed by dm0n3y
April 24, 2024 02:29 3m 27s melds
melds
April 24, 2024 02:29 3m 27s
tweak dune file deploy tylr #503: Commit a0e33b2 pushed by dm0n3y
April 23, 2024 20:45 3m 37s melds
melds
April 23, 2024 20:45 3m 37s
type errors deploy tylr #502: Commit 7a41f8e pushed by dm0n3y
April 22, 2024 19:07 3m 23s melds
melds
April 22, 2024 19:07 3m 23s
fix path_of_pos deploy tylr #501: Commit 0b75eca pushed by dm0n3y
April 21, 2024 20:37 3m 26s melds
melds
April 21, 2024 20:37 3m 26s
update starter code deploy tylr #500: Commit 4acd949 pushed by dm0n3y
December 18, 2023 19:13 13m 51s teen
teen
December 18, 2023 19:13 13m 51s
ProTip! You can narrow down the results and go further in time using created:<2023-12-18 or the other filters available.