move definition of get-type to BFF and use it everywhere
[~helmut/bidiragda.git] / .gitignore
1 *.agdai
2 *~