Ryan Scott

icon indicating a website link http://ryanglscott.github.io

icon company Galois, Inc. icon location Arlington, VA

Results 3 repositories owned by Ryan Scott

eliminators

27
Stars
0
Forks
Watchers

Dependently typed elimination functions using singletons

verified publisher icon RyanGlScott

ghc-software-foundations

80
Stars
3
Forks
Watchers

The Software Foundations book, in GHC

verified publisher icon RyanGlScott

text-show

37
Stars
9
Forks
Watchers

Efficient conversion of values into Text

verified publisher icon RyanGlScott