Skip to content
View Danten's full-sized avatar

Organizations

@crypto-agda @demtech

Block or report Danten

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

Popular repositories Loading

  1. SmardEdit SmardEdit Public

    Fopl project - Smart Editor

    Haskell 2

  2. lejf lejf Public

    An experimental functional programming language based on LJF (Focused Intuitionistic Sequent Calculus), were types ar split up into two kinds. The positives are values and the negatives are code.

    Haskell 2

  3. medea medea Public

    Haskell 2

  4. agda agda Public

    Forked from mason-stewart/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell

  5. Pacman Pacman Public

    Pacman

    JavaScript 1

  6. hasquail hasquail Public

    Forked from np/hasquail

    Quail in Haskell

    Haskell