Untitled attachment

Notices where this attachment appears

1. Embed this notice
   julesh (julesh@mathstodon.xyz)'s status on Thursday, 12-Dec-2024 02:05:59 JST julesh

   in reply to

   @JadeMasterMath Here is the paper
   https://www.kestrel.edu/people/pavlovic/papers/lapl-LICS98.pdf
   but I guess I wrongly remembered that it contained haskell code, that must be somewhere else. Viktor Winschel used to have it taped to his wall