임기정's repositories
DschingisKhan
He Reiter, Ho Reiter, He Reiter, Immer weiter!
LogicStudy
my notes for mathematical logic
PnVRocqLib
A Coq library written by members of PnV Discord Server
Language:Coq000
Language:C++000
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Language:CoqMIT000
Language:C++000
Language:CoqMIT000
Language:CoqBSD-3-Clause000
scripts
My script
Language:HaskellNOASSERTION000
substitution
A study on subsitution
BSD-3-Clause000
Language:OCamlBSD-3-Clause000
yapb
YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)
Language:HaskellBSD-3-Clause000