Pinned Loading

1. ucat ucat Public

   Univalent categories, displayed categories, and fibrations

   Agda 10

2. modules modules Public

   Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules

   Haskell 31

3. bright-ml bright-ml Public

   A statically-typed programming language based on "F-ing modules"

   Standard ML 81 1

4. focused-modules focused-modules Public

   A type system for ML-style modules, solving the avoidance problem by focusing [Crary 2020]

   Standard ML 10

5. seqmod seqmod Public

   Full implementation of F-ing Modules, with the power of sequent calculus

   Standard ML 20

6. mixml-sml mixml-sml Public

   A MixML typechecker, written in Standard ML

   Standard ML 9