Skip to content

Instantly share code, notes, and snippets.

@dmitriid
Created Jul 24, 2012
Embed
What would you like to do?
HINT changelog
* VERSION 2012-07-24
1. New search infrastructure
2. Code cleanup
3. OTP-biftab based PLT generation
4. Dialyzed
5. Web output cleaned-up
* Previous version:
1. Proof of concept
2. Fuzzy search
3. Clean web interface
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment