#lang scribble/base
 
@title{Project Ideas}
 
@section{Areas of Interest}

@itemlist[@item{Macros}
          @item{Code transformation for recursion control - e.g. trampoline}
          @item{Cyclic Data Structures}
          @item{CTP: Category Theory in Programming}
          @item{PIE: Dependent Type Theory}]

@section{Projects (on github.com/ephoning)}

TODO

@section{References}

@hyperlink["https://docs.racket-lang.org/ctp/index.html" "CTP"]