by vicnicius on 5/4/23, 11:40 AM with 0 comments
I’m doing some research on the topic. I’m specially interested in understanding how to deal with removing the set of features the incomplete programming language wouldn’t have. Say I want to use typescript to write agda code. What would be some strategies to make this work? Books and other references are also welcome.