dependent-haskell

★ 36 Open GitHub ↗

No description available.

Explore Similar Repositories

wow-globalstrings : GlobalStrings.lua files from each locale
strano : Strano is a web UI to run any tasks (but mostly Capistrano) from any of your git repo.
teachingkids : resources on teaching kids to program
ko-po-check : 한국어 메시지 번역 파일(PO 파일)에서 흔히 범하는 실수들을 찾아내는 프로그램입니다 / Find common errors in Korean PO message translations
deck.js : Better Modern HTML Presentations
// repository documentation