I am clearly training my students well. BibTeX database management in Idris :) https://github.com/ziman/bibdris
4:59 PM - 7 Mar 2014
0 replies
0 retweets
7 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.