j
k
j a
j l
type C = 'ContentRaw :: Content Nat Symbol Bool
This works. Thanks for your help.
Back to the thread
Back to the list