khibino

Kei Hibino

haskell-relational-record

This repository includes joined query generator baseed on typefull relational algebra, and mapping tool between SQL values list and Haskell record type.

sfja-code

Code for 'Software foundations'

logic-examples

Small examples of proof object programming.

ghc-src-read

Documents for GHC source code reading party.

pfds-read

meeting reading PFDS

  1. Prev
  2. 1
  3. 2
  4. 3
  5. 4
  6. Next