Today at 7pm (GMT+1) I’ll be showing <@U4TNC7C4B>...
# arrow-meta
r
Today at 7pm (GMT+1) I’ll be showing @bloder and others the internals of Arrow Meta looking at the code. Anyone interested is welcome to join for an internals walkthrough. This is meant to be for people that want to understand the inner parts of meta for other contributions they are working on. ZOOM : https://zoom.us/j/878707806 GCal : https://calendar.google.com/event?action=TEMPLATE&amp;tmeid=MWZqZ2FkaXFnc2loZHZtazQ1aDhnc2swb3QgcmF1bEA0N2RlZy5jb20&amp;tmsrc=raul%4047deg.com
👍 6
💯 5
a
I'll join today
r
Will it be recorded?
t
Do you know how long this will approx take?
r
This may take anything between 30mins to an hour based on questions
it will be entirely informal. I don’t plan to record it but I plan on repeating it. I don’t want to record it because I don’t want to ask permission to everyone to be recorded and I’m afraid internals change in such a way that certains things we are looking at today would not be like that in a few months
for example I discovered that I can largely base unions, kinds, type classes and others just with safe implicit proofs that modify the typechecker and we may see that today but that may not be the actual impl
👆🏽 1
t
Awesome, I'll join
r
Hey, I'll join too if you don't mind
a
I am at the doctor's office wrapping up but I will join late!
t
I will join too but stay muted because I have very loud birds 🐦
r
everyone is welcome!
a
@tschuchort lmfaoo same