[Agda] Partiality/delay monad [was: proofs for (NON)TERMINATING]

[Nils Anders Danielsson]

On 2018-03-08 09:02, Sandro Stucki wrote:
>> Here's an example of how one can implement an interpreter for the
>> untyped λ-calculus using the delay monad:
>>
>> http://www.cse.chalmers.se/~nad/listings/partiality-monad/Lambda.Simplified.Delay-monad.Interpreter.html
> 
> I get a 404 error following that link.

I had rearranged my code, but I decided to undo this rearrangement, so
the link should work again now.

-- 
/NAD