Skip to content




Block or Report

Block or report lexi-lambda

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

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

Report abuse


  1. Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.

    Haskell 23.6k 2k

  2. 🚧 a work in progress effect system for Haskell 🚧

    Haskell 461 17

  3. WIP implementation of a Haskell-like Lisp in Racket

    Racket 1.1k 43

169 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

July 2021

Created a pull request in racket/scribble that received 1 comment

Fix contracts on Secref and seclink

Both these functions allow the #:doc argument to be #f, and in fact that is the default value, but their contracts are overly strict, so passing it…

+2 −2 1 comment

Created an issue in KaTeX/KaTeX that received 2 comments

Missing glyphs for < and > in SansSerif fonts

The < and > characters have no defined metrics for SansSerif family fonts, so they are rendered in roman rather than sans-serif even when enclosed in


Seeing something unexpected? Take a look at the GitHub profile guide.