Wesleyan PL
- Middletown, CT
- http://wespl.slack.com/
Popular repositories Loading
-
haskell-testing-lecture
haskell-testing-lecture PublicTo be used for the lecture about testing in Haskell
-
logical-relations
logical-relations PublicUsing logical relations to prove strong normalization and semantic type safety for STLC
Agda 1
-
template-haskell-lecture
template-haskell-lecture PublicTo be used for the lecture about metaprogramming in Haskell
Haskell 1
-
matrix-challenge
matrix-challenge PublicForked from joom/matrix-challenge
Demonstration of language functionality using matrix datatypes as an example
Swift
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 - 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
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…