alf
音标: [[ælf]]
alf是什么意思、alf怎么读
阿尔夫
聪明，小精灵，Alfred的昵称
瑞典语
男
alf汉语翻译
中文拼写：阿尔夫
名字含义：聪明，小精灵，Alfred的昵称
名字来源：瑞典语
名字类别：男
alf英语解释
ALF ("Another logical framework") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor of the Alfa, Agda, Cayenne and Coq proof assistants and dependently typed programming languages.
alf例句
- Alf is one of the main characters in the 80s sitcom.阿尔夫是80年代情景喜剧中的主要角色之一。
- My friend named his dog Alf after his favorite TV show character.我朋友以他最喜欢的电视角色命名他的狗为阿尔夫。