andrew blinn

yep, looks like a bug. synthesis of ` : `, should always yield typ, so x shouldn't be float. appears to already be fixed by #566 , hopefully to be...

Candidate implementation up on haz3l-tests

now current with tutor branch & hence dev

initial: just use constants secondary: add inner nibs to molds

I've been thinking lately about ambiguity concerns for characters that can live in tokens of more than one grammatical class. For our purposes let's specify the following grammatical classes: -...

I did a functional review. There are still a few outstanding bugs, and a couple other things we should probably decide about. Going to reproduce the things I tried below...

this is consistent with the current match behavior (becomes stuck on fallthrough). we should probably give more specific feedback to both. there is currently a feature branch which gives stack...

@linsyking the explicit hole '?' was mostly intended to be a stopgap method addressing the fact that whitespace gets messed up when copy-pasting programs with (regular, implicit) holes. it probably...

> Maybe a comment for @disconcision but in the following, the tydi autocomplete inserts `::` which is a bit unexpected here. I know why it's doing that, but can we...

@cyrus #1162