Conversation

In my implementation of normalisation by evaluation, I have two partial functions: f₁ : Env × Term → Value f₂ : Level × Value → Term What should I call them? I'd love to know why, if possible!

reflect, reify
20%
eval, readback
17.1%
eval, quote
62.9%
other (please write)
0%

35 votesFinal results

Brendan Zabarauskas

@brendanzab

Thanks for votes so far! Seems like lots of people like ‘eval, quote’! Curious to hear about people's reasoning (if they have any, that is). Have I been making a mistake in using ‘eval, readback’ in my stuff? 🤔

5:18 AM · Aug 31, 2021Twitter Web App

This Tweet was deleted by the Tweet author. Learn more

Show replies

Replying to

eval, repr