replace FinMap.lemma-lookupM-empty with Data.Vec.Properties.lookup-replicate
[~helmut/bidiragda.git] / .gitignore
2012-01-19 Helmut Grohneadded .gitignore