dramforever

dramforever's Stars

• MarisaKirisame/Coq_code

  Language:Coq10

• MarisaKirisame/algebraic_data_type

  Language:C++191

• sdiehl/write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  Language:Haskell3.4k254