More notes about SUO-KIF Idris translations

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

Closed ngeiswei closed 3 years ago