The Iowa Foundations of Programming Group

Popular repositories Loading

1. Rosi RosiPublic

   Haskell 10

2. ghc ghcPublic

   A slightly more Glorious Haskell Compiler

   Haskell 2

3. RoHs RoHsPublic

   Haskell 2

4. ROmega-ICFP23-artifact ROmega-ICFP23-artifactPublic

   Artifact Supplementing ICFP'23 Submission "Generic Programming With Extensible Datatypes"

   HTML 1

5. systemfd-lean systemfd-leanPublic

   Lean 1 1

6. CategoriesInAgda CategoriesInAgdaPublic

   Category theory & semantics in Agda

   Agda 1