CoverTranslator icon indicating copy to clipboard operation
CoverTranslator copied to clipboard
verified publisher icon langston-barrett

Convert hs2agda.in to pure Haskell

Open langston-barrett opened this issue 9 years ago • 0 comments

langston-barrett avatar Oct 25 '16 02:10 langston-barrett