search

paulfitz / cosmicos

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

upgrade java version to revive travis #29

Closed paulfitz closed 5 years ago

paulfitz commented 5 years ago

A a few small chapters of the message are written in java, and translated to byte-code for insertion in the message (the message includes instructions on how to run the byte-code).