Pinned Loading

1. nicer-numbers.nvim nicer-numbers.nvim Public

   Formats numbers nicer

   Lua 1

2. Simply typed lambda calculus and its... Simply typed lambda calculus and its type synthesis

   1

   module Stlc where

   2

   3

   import qualified Control.Monad.Reader as Rd

   4

   import qualified Control.Monad.State.Lazy as St

   5

   import Control.Monad.Reader (ask, local)

3. UTG-CS701 UTG-CS701 Public

   Contains all the code that I write for UTG's CS701 class.

   Java 1