- 22 Mar, 2019 16 commits
-
-
Marc Coiffier authored
Allow loading textures in raw 32bpc RGB floating point format in Logos (using the new 'texture' builtin, as opposed to 'image', which now means a standard 8bpc RGBA image).
-
Marc Coiffier authored
-
Marc Coiffier authored
Make list creation more efficient in concatenative languages, by building the result in order instead of building it in reverse, then reversing it again
-
Marc Coiffier authored
-
Marc Coiffier authored
-
Marc Coiffier authored
-
Marc Coiffier authored
Implement a simple ReadLine interface for Logos instead of just reading words off stdin like an animal
-
Marc Coiffier authored
-
Marc Coiffier authored
-
Marc Coiffier authored
-
Marc Coiffier authored
-
Marc Coiffier authored
Second definitive-parser overhaul, this time reducing the number of extra parameters from 3 to just 1 in the Serializable and Format classes
-
Marc Coiffier authored
Generalize the CaPriCon operations into a class, to better manage de Bruijn indices in dynamically-created terms
-
Marc Coiffier authored
-
Marc Coiffier authored
Adapt the 'definitive-base' library to allow cross-compiling towards a JavaScript runtime with the Haste compiler
-
Marc Coiffier authored
Implement an autocommit workflow : all successful builds will be automatically committed to the 'autocommit' branch
-
- 20 Oct, 2018 1 commit
-
-
Marc Coiffier authored
-
- 17 Oct, 2018 3 commits
-
-
Marc Coiffier authored
Improve the showNode function to only show minimal patterns (using eta-equivalence); add support for inline code snippets in the WiQEE consoles
-
Marc Coiffier authored
Implement a 'cache' builtin for the CaPriCon interpreter, that can store any object in a platform-independent format; polish the hypothesis lookup mechanism to handle naming conflicts
-
Marc Coiffier authored
-
- 15 Oct, 2018 3 commits
-
-
Marc Coiffier authored
Increment the version of definitive-parser, due to the massive change that occurred; correct the build for curly-gateway
-
Marc Coiffier authored
Make preparations for the implementation of a compiled CaPriCon format; implement a console-based interface for the WiQEE site
-
Marc Coiffier authored
-
- 13 Oct, 2018 1 commit
-
-
Marc Coiffier authored
-
- 08 Oct, 2018 1 commit
-
-
Marc Coiffier authored
-
- 07 Oct, 2018 1 commit
-
-
Marc Coiffier authored
-
- 06 Oct, 2018 1 commit
-
-
Marc Coiffier authored
Correct the 'mu' combinator for the dependent case (external variable capture was not well taken into account, if at all)
-
- 05 Oct, 2018 1 commit
-
-
Marc Coiffier authored
-
- 01 Oct, 2018 1 commit
-
-
Marc Coiffier authored
-
- 30 Sep, 2018 3 commits
-
-
Marc Coiffier authored
-
Marc Coiffier authored
-
Marc Coiffier authored
-
- 28 Sep, 2018 1 commit
-
-
Marc Coiffier authored
-
- 24 Sep, 2018 4 commits
-
-
Marc Coiffier authored
-
Marc Coiffier authored
-
Marc Coiffier authored
-
Marc Coiffier authored
-
- 18 Sep, 2018 2 commits
-
-
Marc Coiffier authored
-
Marc Coiffier authored
-
- 04 Sep, 2018 1 commit
-
-
Marc Coiffier authored
Update the DNS lookup script to allow keys larger than 255 characters to be split into multiple records (with additional metadata comes additional weight)
-