-- Prototype of RealizedAttributes as described in
-- https://blog.singularitynet.io/ai-dsl-toward-a-general-purpose-description-language-for-ai-agents-21459f691b9e

module RealizedAttributes

-- NEXT: used dependent types to type check attributes, take
-- inspiration from NonDTRealizedAttributes.idr and
-- SimpleRealizedFunction.idr
