Skip to content
View dabd's full-sized avatar

Highlights

  • Pro

Block or report dabd

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
4 stars written in Haskell
Clear filter

Compiling to Categories

Haskell 458 51 Updated Feb 28, 2024

Haskell + Lisp

Haskell 214 9 Updated May 17, 2024

Code for "Functional Programming with Structured Graphs", Bruno C. d. S. Oliveira and William R. Cook

Haskell 9 Updated Sep 9, 2016

Prototype implementation of overlapping patterns for property-based testing

Haskell 3 Updated Nov 23, 2018