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.