paulfitz / cosmicos

Sending the lambda calculus into deep space
https://cosmicos.github.io/
GNU General Public License v2.0
137 stars 8 forks source link

housecleaning, remove unused code #23

Closed paulfitz closed 8 years ago

paulfitz commented 8 years ago

Removes old, unused code, and renames some confusingly named files.