Open shhyou opened 12 months ago
Consider this ISL/lambda program:
(define (my-add1 n) (+ n 1)) my-add1
The output says lambda:
Welcome to DrRacket, version 8.11.0.3 [cs]. Language: Intermediate Student with lambda; memory limit: 1024 MB. (lambda (a1) ...)
But in the interaction window I got the function name (based on 8a6d3493660, this is the expected one):
> my-add1 my-add1
Consider this ISL/lambda program:
The output says lambda:
But in the interaction window I got the function name (based on 8a6d3493660, this is the expected one):