dependent types in rust when
Conversation
Hopefully one day, but that’s not my department… I just want to learn more about it.
1
2
lifetimes in idris when
2
2
Linear dependent types for the masses is the beach I’m trying to make a sand castle on next half year. Need to mix some concrete brb.
1
1
Plz grab some for me on your way… and some rebar!
2
I’m taking a sick day / working from home so I can spend all day sharing. It’s also oss stuff that’s part of day job :). Still super WIP
1
Ooh nice, I really need to get an IRC bouncer up and running so I can get back into that world. Spoiled by Slack. Alas I'm about to 💤
1
A lot of sprinkles of stuff can be found on my gh. But holler sometime
1
Yeah. Though let’s irc chat before yah dive in. Much still stuck in the noggin.
Don’t assume content atm :)
1
Heh, know the feeling. I'm on the, "keep my OSS private until EOY" thing for my work project!
Go sleep. We can chat later.
:)
I’ve a terrible cold this week anyways