Skip to content
View nmmull's full-sized avatar
4 followers · 6 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2
Block or Report

Block or report nmmull

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
nmmull/README.md

I'm a lecturer at Boston University. I'm interested in logic and computing.

Popular repositories Loading

  1. Falsum Falsum Public

    A proof of false (a term of type Void) in Idris

    Idris 2

  2. CS491-S24 CS491-S24 Public

    Material for the course CAS CS 491: Type Theory and Mechanized Reasoning (Spring 2024)

    Agda 2 1

  3. CS400-Lib CS400-Lib Public

    An Agda Library for the course CAS CS 400 at Boston University

    Agda 2

  4. VerifiedMonads VerifiedMonads Public

    Experimenting with verified monads in Agda

    Agda 1

  5. CS320 CS320 Public

    Course Page for CS320

    Makefile 1

  6. Diane Diane Public

    A Small Elm Prototype for Visualizing the Evaluation of Stack-Oriented Languages

    JavaScript 1