search

singnet / ai-dsl

Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
MIT License
70 stars 18 forks source link

Fix realized function #8

Closed ngeiswei closed 3 years ago

ngeiswei commented 3 years ago

Implements RealizedFunction as described in https://blog.singularitynet.io/ai-dsl-toward-a-general-purpose-description-language-for-ai-agents-21459f691b9e using RealizedAttributes as dependent types.