Conversation
This Tweet was deleted by the Tweet author. Learn more
Was trying to do the one in that internship report, but I'm having *issues* because my environments store values in WHNF, and they need to be shifted then: github.com/brendanzab/rus
1
My old one in Pikelet worked because I had no idea what I was doing and it turns out everything was always in normal form, so I could just brute-force shift the entire term when I wanted to.