plfa.github.io icon indicating copy to clipboard operation
plfa.github.io copied to clipboard
verified publisher icon plfa

Turn Γ into a parameter.

Open xekoukou opened this issue 5 years ago • 1 comments

https://github.com/plfa/plfa.github.io/blame/dev/src/plfa/part2/DeBruijn.lagda.md#L783

In the Value definition, the context can be a parameter.

xekoukou avatar Nov 20 '20 15:11 xekoukou

If you're happy to submit a pull-request updating the definitions of Value in DeBruijn and More, I'd be happy to merge it!

wenkokke avatar Nov 20 '20 15:11 wenkokke