Giters
Richard Eisenberg (goldfirere)

goldfirere

Geek Repo

682

followers

0

following

1

stars

Company:@janestreet

Location:Philadelphia, PA

Home Page:https://richarde.dev/

Twitter:@RaeHaskell

Github PK Tool:Github PK Tool

Richard Eisenberg's repositories

no-role-annots

Role annotations without -XRoleAnnotations

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

dragon

A home for the Coq files in an attempt to defeat the dragon in the axioms paper.

Language:CoqStargazers:0Issues:0Issues:0