Skip to content
@wespl

Wesleyan PL

Programming languages group at Wesleyan University

Popular repositories Loading

  1. haskell-testing-lecture haskell-testing-lecture Public

    To be used for the lecture about testing in Haskell

    Haskell 2 1

  2. logical-relations logical-relations Public

    Using logical relations to prove strong normalization and semantic type safety for STLC

    Agda 1

  3. template-haskell-lecture template-haskell-lecture Public

    To be used for the lecture about metaprogramming in Haskell

    Haskell 1

  4. matrix-challenge matrix-challenge Public

    Forked from joom/matrix-challenge

    Demonstration of language functionality using matrix datatypes as an example

    Swift

Repositories

Showing 4 of 4 repositories
  • matrix-challenge Public Forked from joom/matrix-challenge

    Demonstration of language functionality using matrix datatypes as an example

    wespl/matrix-challenge’s past year of commit activity
    Swift 0 1 0 0 Updated May 19, 2018
  • logical-relations Public

    Using logical relations to prove strong normalization and semantic type safety for STLC

    wespl/logical-relations’s past year of commit activity
    Agda 1 0 0 0 Updated May 11, 2018
  • template-haskell-lecture Public

    To be used for the lecture about metaprogramming in Haskell

    wespl/template-haskell-lecture’s past year of commit activity
    Haskell 1 0 0 0 Updated Apr 13, 2018
  • haskell-testing-lecture Public

    To be used for the lecture about testing in Haskell

    wespl/haskell-testing-lecture’s past year of commit activity
    Haskell 2 BSD-3-Clause 1 0 0 Updated Mar 30, 2018

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…