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

• Host: GitHub
• URL: https://github.com/thoughtpolice/asc
• Owner: thoughtpolice
• License: mit
• Created: 2019-11-17T15:15:32.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-11-17T15:19:53.000Z (over 5 years ago)
• Last Synced: 2025-03-25T12:03:01.242Z (2 months ago)
• Language: Haskell
• Size: 22.5 KB
• Stars: 21
• Watchers: 5
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

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.