TLghc version 0.6.0.0 | TransLucid and Cartesian Programming

Hide threads | Keyboard Shortcuts

cartesianprogramming 11:29 on 2020/07/18 Permalink Reply
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.
Share this:
Twitter
Facebook
Like this:
Like Loading...

Related
Reply Cancel reply
Required fields are marked *

Name *

Email *

Website

Notify me of new comments via email.
Notify me of new posts via email.
Δ

c: Compose new post
j: Next post/Next comment
k: Previous post/Previous comment
r: Reply
e: Edit
o: Show/Hide comments
t: Go to top
l: Go to login
h: Show/Hide help
shift + esc: Cancel

%d bloggers like this: