Philip Wadler

icon indicating a website link http://homepages.inf.ed.ac.uk/wadler/ icon indicating an email [email protected]

icon company University of Edinburgh icon location Edinburgh icon location Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

Results 52 comments of Philip Wadler

PLFA 2025 10 27: change how `eval` is defined

@wenkokke I can see there is an option to "update branch" to merge in more recent changes from dev, which you've already done once. I guess there are now more...

PLFA 2025 10 27: change how `eval` is defined

Hey, @wenkokke this pull request has been stuck for months now. Any suggestions on what I should do to get it unstuck?