Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Sign upMeeting 2018-11-28 #15
Comments
Centril
added
the
meeting-notes
label
Nov 28, 2018
qmx
closed this
in
#27
Feb 23, 2019
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Centril commentedNov 28, 2018
•
edited
Summary for today's meeting
Rule |= Additions;formatting. @qmx#4460 agreed it was pleasant and that it was "BNF done right"..lygafter merging PR.Bounds<P> = elems:P* % "+" "+"?;and similar things.%%to GLL