paulfitz / cosmicos

Sending the lambda calculus into deep space

https://cosmicos.github.io/

paulfitz/cosmicos Issues

Include physical constants
Updated 2 years ago7
Cooperation with similar Project
Updated 2 years ago2
building error for cosmicos
Updated 2 years ago4
Upgrade TravisCI
Closed 2 years ago1
Feature request: Fritz needs finite and infinite generators
Updated 2 years ago
Decoding test
Updated 2 years ago5
Concerning the "A question of character" posting on your site - prefix codes?
Updated 2 years ago2
Develop documentation
Updated 4 years ago7
need real numbers
Updated 5 years ago25
Images for wiki
Closed 8 years ago7
error building
Closed 6 years ago11
Refactoring Evaluation and Encoding
Closed 6 years ago15
a dummy issue to put images for possible use in README
Closed 6 years ago1
Problem with brackets of commands in `cosh.js`
Closed 8 years ago8
Something wrong with encoder
Closed 8 years ago46
Haxe automated build broken by neko dependency
Closed 8 years ago3
Compilation issues with nodejs perhaps should be mentioned in README.md
Closed 8 years ago7
Build fails with 'Failed to load Main-Class manifest attribute from /home/alan/cosmicos/build/tools/UnlessDriver.jar'
Closed 10 years ago3