Feel so fortunate to be allowed to do this 😳
This Tweet is from a suspended account. Learn more
Conversation
A lot of good luck! Had enough disposable free time to try to learn about type system implementation over the years, and then happened to meet an employer at a local meetup who wanted to build a DSL that leveraged some of the stuff from dependent types.
2