Tag: metaprogramming

May 09, 2026

• research
• language-reference
• family-index
• theorem-prover-dsls
• proof-assistants
• tactics
• metaprogramming

May 07, 2026

• research
• language-reference
• cross-cutting
• metaprogramming
• macros
• reflection
• lang

May 06, 2026

• research
• language-reference
• common-lisp
• lisp
• clos
• functional
• metaprogramming

May 06, 2026

• research
• language-reference
• nim
• systems
• metaprogramming
• multi-backend