Posts Tagged haskell
A command line tool to help organize my own music library, written in Haskell. Helps the user fill in missing music metadata by querying Discogs and MusicBrainz for matching tracks.
A collection of reference implementations of type inference algorithms, with particular emphasis on features which are necessary for practical implementations, such as error reporting.
Yagi is a toy functional language for understanding dependent type theory.