Skip to content
View scott-fleischman's full-sized avatar
76 followers · 167 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck
BetaSend feedback

Organizations

@ancientlanguage @OPLSS
Block or Report

Block or report scott-fleischman

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

  1. agda-from-nothing agda-from-nothing Public

    A workshop on learning Agda with minimal prerequisites.

    Agda 81 6

  2. greek-grammar greek-grammar Public

    Modeling Ancient Greek Grammar

    Agda 48 7

  3. agda-from-nothing-2017 agda-from-nothing-2017 Public

    Agda from Nothing: Order in the Types

    Agda 13

  4. agda-travis agda-travis Public

    Example repo for building Agda files with Travis CI

    Agda 7 1

  5. ucd ucd Public

    Unicode Character Database version history with normalized filenames

    HTML 4

  6. redprl-notes redprl-notes Public

    Notes about RedPRL

    4