joshuaharry

icon company Northwestern University icon location Evanston Illinois icon location Hello, world! I like coffee, Racket, and TypeScript.

Results 2 issues of joshuaharry

Generating random expressions sometimes results in an infinite loop

Consider the following program: ```racket #lang racket/base (require redex/reduction-semantics) (define-language L (self ::= (self))) (define-judgment-form L #:mode (--> I O) #:contract (--> self self) [----------- "Do Nothing" (--> (self) (self))])...

Start UI testing

1 comment

## Pull request type Please check the type of change your PR introduces: - [ ] Bugfix - [ ] Feature - [X] Other (please describe): Here we set up...