nmmull

CS400-Lib

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

CS491-S24

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

Falsum

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

CS320

Course Page for CS320

Diane

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

VerifiedMonads

Experimenting with verified monads in Agda

calculator

CS132-F23

CS132-F24

CS320-Notes

Course Notes for the second half of CAS CS 320: Principles of Programming Languages at BU

Lambda-Calculus-Lecture

Slides and Notes for a Lecture on the Lambda Calclus

mini-gs-grader

A Super Minimal Autograder for Gradescope

nmmull

Let's add a README

nmmull.github.io

personal site

PTS

A formalization of tiered pure type systems in agda

sorting-in-idris

internally-verified sorting algorithms implemented in idris

uchicago-type-theory-reading-group

Materials from the UChicago Type Theory Reading Group

WN-to-SN-Thunkification

ErrorHandling

A small error handling experiment in OCaml

HaskAlg

Some proofs in Agda about Functors, Applicatives, Monads, etc.

Infinite-Primes

A constructive proof of Euclid's theorem in Agda

Overture

A Personal Agda Library