Yeah, I did not intend for my "this was funny" comment in a negative light, it was a genuinely fun thing to read.
I often wish that more people came up to me with proposal of developing domain specific formal systems, so when it actually happened in reality, I was a bit taken offguard by the unexpectedness of it :P
Yeah, I did not intend for my "this was funny" comment in a negative light, it was a genuinely fun thing to read.
I often wish that more people came up to me with proposal of developing domain specific formal systems, so when it actually happened in reality, I was a bit taken offguard by the unexpectedness of it :P