The Iowa Foundations of Programming Group

Popular repositories Loading

1. Rosi Rosi Public

   Haskell 10

2. ghc ghc Public

   A slightly more Glorious Haskell Compiler

   Haskell 2

3. RoHs RoHs Public

   Haskell 2

4. ROmega-ICFP23-artifact ROmega-ICFP23-artifact Public

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

   HTML 1

5. systemfd-lean systemfd-lean Public

   Lean 1 1

6. CategoriesInAgda CategoriesInAgda Public

   Category theory & semantics in Agda

   Agda 1