tylr

tylr copied to clipboard

Relaxes assumption made for remolding optimization in https://github.com/hazelgrove/tylr/pull/9 that tiles should have same nib sorts as output sort, in exchange for other assumptions that match our grammars so far: -...

dm0n3y

A runtime error I encountered while playing around in the june version: 1. enter a conditional like `if x then y else z` 2. remove `then`, so it becomes `if...

cdfa

Hi! I was just playing around with the June 2022 version after the FoC meetup and thought I should report a bug I encountered. First, I entered the expression `let...

cdfa

Is there a white paper or the like?

1

Hi! `tylr` looks very interesting. I came Jack Rusher's talk at Strange Loop 2022 (https://www.youtube.com/watch?v=8Ab3ArE8W3s). Is there a technical dive somewhere into why and how it works? In terms of...

munael