replace FinMap.lemma-lookupM-empty with Data.Vec.Properties.lookup-replicate
[~helmut/bidiragda.git] / .gitignore
1 *.agdai
2 *~