alf

音标[ælf]

汉语翻译

中文拼写：阿尔夫名字含义：聪明，小精灵，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.
我朋友以他最喜欢的电视角色命名他的狗为阿尔夫。