Recent searches
Search options
Very proud of this new blog post from @Andrev Can we generalize compilers?
glaive-research.org · Programming Pipelines Using Dependent TypesSometimes, writing a large program is conceptually as simple as translating from a big unstructured input into a more and more structured output. In this post, we present a data structure to talk about such programs and demonstrate its use and flexbility using a single-pass compiler as case-study.