Greg Pfeil

Results 15 repositories owned by Greg Pfeil

haskerwaul

19
Stars
0
Forks
Watchers

Category theory concepts in type classes and instances.

Iaia

24
Stars
0
Forks
Watchers

A recursion scheme library for Idris.

Kilns

17
Stars
2
Forks
Watchers

An experimental programming language based on the kell calculus.

method-combination-utilities

18
Stars
2
Forks
Watchers

Various utilities to make use and creation of custom method combinations easier.

compiling-anything-to-categories

19
Stars
2
Forks
Watchers

a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.