TLghc version 0.6.0.0
The interpreter (https://github.com/plaice/TLghc) has been updated, with some refactoring of code. The evaluator now stores intensions, and corresponds to the paper.
Updates from July, 2020 Toggle Comment Threads | Keyboard Shortcuts
-
cartesianprogramming
-
cartesianprogramming
TransLucid: Higher-order Indexical ISWIM
The paper presenting TransLucid and its semantics is now ready: TransLucid: Higher-order Indexical ISWIM
-
cartesianprogramming
TLghc 0.5.0.0: Working interpreter with many examples.
The TransLucid interpreter, available at https://github.com/plaice/TLghc, has been significantly improved for version 0.5.0.0. The test suite contains a number of examples, found at https://github.com/plaice/TLghc/tree/master/test/tl. For each of those example files, there is an output file at https://github.com/plaice/TLghc/tree/master/test/out.
TransLucid and Cartesian Programming 
Reply