Skip to content
View LightAndLight's full-sized avatar
🤓
🤓

Block or report LightAndLight

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lightandlight/README.md

About Me

He/Him

I'm a programmer living in Brisbane, Australia.

I enjoy building things that make people more effective. I'm particularly passionate about developer tooling because it contributes to a cycle of self improvement within software development.

Projects

My 'academic' roots lie in programming language theory and type theory. As a result, all of my biggest personal projects have been programming languages, or programming language related. See my 'pinned' repositories for a selection of my favourite projects.

Pinned Loading

  1. ipso ipso Public

    A functional scripting language.

    Rust 17 1

  2. sized-hkts sized-hkts Public

    Higher kinded polymorphism in a language with unboxed, statically sized datatypes.

    Haskell 51 1

  3. sage sage Public

    Efficient parser combinators for Haskell

    Haskell 39 2

  4. qtt qtt Public

    Quantitative Type Theory implementation

    Haskell 54 2

  5. cbpv cbpv Public

    A usable type system for call by push-value

    Haskell 33

  6. rows rows Public

    A language with polymorphic records and variants, using HMF inference.

    Haskell 7 1