Pinned Loading

1. ax_lang ax_lang Public

   Dependently typed reasoning system for the highly parallel future.

   2

2. haskell_road_to_logic_and_math haskell_road_to_logic_and_math Public

   This is a repo where I will record my progress following along the book Haskell Road to Math, Logic and Programming.

   Haskell

3. ironlab ironlab Public

   JavaScript

4. mirage-financial mirage-financial Public

   JavaScript

5. yeetabl yeetabl Public

   TypeScript