Guannan Wei
Results
13
issues of
Guannan Wei
Update sbt to 1.1.1
This PR proposes to adopt a unified coding style and to use `scalafmt` to format the code. When running in `sbt`, you can use `lms-clean/scalafmt` to automatically reformat all source...
Hi, I'm using Racket 7.1 and trying to play with some reduction relations. However, if I simply run command `racket lambdapy-reduction.rkt`, the following error is raised. I guess it was...