Javran

#!/usr/bin/env python3
import os
import re
import sys
import json
import asyncio
import aiohttp
import urllib.request
import logging
from itertools import count

Javran

#lang racket
(require redex)

;; There are many different semantics for Call-By-Need
;; in the literature.  Some are purely syntactic:
;; they model sharing using `let' and have complicated 
;; notions of evaluation contexts (e.g. Ariola and 
;; Felleisen). Others are heap-based natural semantics
;; (e.g. Launchbury).