Skip to content
View tenwz's full-sized avatar
🧙‍♂️
Casting spell.
🧙‍♂️
Casting spell.
4 followers · 27 following
Block or Report

Block or report tenwz

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned

  1. hindley-milner-type-inferencer hindley-milner-type-inferencer Public

    Forked from webyrd/hindley-milner-type-inferencer

    Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.

    Scheme 1

  2. quines quines Public

    Forked from webyrd/quines

    Relational interpreter in miniKanren that can generate quines

    Scheme

  3. tinyKanren tinyKanren Public

    Forked from yinwang0/tinyKanren

    A minimalist version of the miniKanren language with no additional features

    Racket