YAS representation ueber(term)
Language
Dependencies
- languages/LAL: function
- Function translate
- Languages
- Representation ueber(term)
- Goal lalUeber:translate
- Files: None
- languages/Ueber: membership
- Representation ueber(term)
- Goal eslLanguage
- File languages/Ueber/as.term
Files
- languages/.ueber
- languages/ANTLR/.ueber
- languages/ASL/.ueber
- languages/BAL/.ueber
- languages/BCL/.ueber
- languages/BFPL/.ueber
- languages/BFPL/Prolog/.ueber
- languages/BFPL/Prolog/big-step/.ueber
- languages/BFPL/Prolog/denotational/.ueber
- languages/BFPL/Prolog/small-step/.ueber
- languages/BFPL/Prolog/typing/.ueber
- languages/BFPL/samples/.ueber
- languages/BGL/.ueber
- languages/BIPL/.ueber
- languages/BIPL/Prolog/.ueber
- languages/BIPL/Prolog/big-step/.ueber
- languages/BIPL/Prolog/small-step/.ueber
- languages/BIPL/samples/.ueber
- languages/BL/.ueber
- languages/BL/samples/.ueber
- languages/BML/.ueber
- languages/BNL/.ueber
- languages/BNL/ANTLR/.ueber
- languages/BNL/EGL/.ueber
- languages/BNL/ESL/.ueber
- languages/BNL/ESL/samples/.ueber
- languages/BNL/Prolog/.ueber
- languages/BNL/samples/.ueber
- languages/BSL/.ueber
- languages/BSTL/.ueber
- languages/BSTL/Prolog/.ueber
- languages/BSTL/framework.ueber
- languages/BSTL/tests/.ueber
- languages/BSTL/tests/trafo1.ueber
- languages/BTL/.ueber
- languages/BTL/Prolog/.ueber
- languages/DCG/.ueber
- languages/DDL/.ueber
- languages/DGL/.ueber
- languages/DOT/.ueber
- languages/EFPL/.ueber
- languages/EFPL/Prolog/.ueber
- languages/EFPL/Prolog/big-step/.ueber
- languages/EFPL/tests/.ueber
- languages/EGL/.ueber
- languages/EGL/samples/.ueber
- languages/EGTL/.ueber
- languages/EGTL/samples/.ueber
- languages/EIPL/.ueber
- languages/EIPL/Prolog/.ueber
- languages/EIPL/tests/.ueber
- languages/EL/.ueber
- languages/EL/Prolog/.ueber
- languages/EL/Prolog/qq/.ueber
- languages/EL/Prolog/qq/rules/.ueber
- languages/EL/Prolog/rules/.ueber
- languages/EL/tests/.ueber
- languages/ESL/.ueber
- languages/FL/.ueber
- languages/FL/NFL/.ueber
- languages/FL/RFL1/.ueber
- languages/FL/RFL2/.ueber
- languages/FSML/.ueber
- languages/FSML/Haskell/.ueber
- languages/FSML/Java/.ueber
- languages/FSML/Prolog/.ueber
- languages/FSML/Prolog/dot/.ueber
- languages/FSML/Prolog/generated/.ueber
- languages/FSML/Prolog/to-java/.ueber
- languages/FSML/Python/.ueber
- languages/FSML/Python/dot/.ueber
- languages/FSML/tests/.ueber
- languages/HTML/.ueber
- languages/Haskell/.ueber
- languages/Hinzu/.ueber
- languages/JSON/.ueber
- languages/Java/.ueber
- languages/LAL/.ueber
- languages/LAL/config/.ueber
- languages/LAL/lib/.ueber
- languages/LAL/lib/cx/.ueber
- languages/MLDF/.ueber
- languages/MMDL/.ueber
- languages/MML/.ueber
- languages/MML/atom-to-ref/.ueber
- languages/MML/conformance/.ueber
- languages/MML/editing/.ueber
- languages/MML/tests/.ueber
- languages/MMTL/.ueber
- languages/Markdown/.ueber
- languages/None/.ueber
- languages/PPL/.ueber
- languages/PPL/tests/.ueber
- languages/Prolog/.ueber
- languages/Python/.ueber
- languages/TDL/.ueber
- languages/TLL/.ueber
- languages/Term/.ueber
- languages/Term/dict/.ueber
- languages/Term/graph/.ueber
- languages/Text/.ueber
- languages/ULL/.ueber
- languages/Ueber/.ueber
- languages/XML/.ueber
- samples/obsolete/expr/.ueber
- samples/obsolete/expr/editing/.ueber
- samples/obsolete/expr/exprRelaxed/.ueber
- samples/obsolete/expr/parsing/.ueber
- samples/obsolete/figure/.ueber
- samples/obsolete/figure/parsing/.ueber