An open API service indexing awesome lists of open source software.

https://github.com/thoughtpolice/asc

Austin's supercompiler work
https://github.com/thoughtpolice/asc

Last synced: about 2 months ago
JSON representation

Austin's supercompiler work

Awesome Lists containing this project

README

        

# Supercompilation notes

This repository contains some stuff I worked on while reading supercompiler
papers. Notably, it has a nice and clean implementation of Termination
Combinators Forever (2009, Peyton-Jones & Bolingbroke). Inevitably I'll get
around to finishing a sketch of Supercompilation by Evaluation, too (or not.)

Released under the MIT license. See `LICENSE.txt` for terms of copyright and
redistribution.