Pinned Repositories
C-Primer-Plus-6th-Edition-Source-Code
C Primer Plus 6th Edition source codes
haskell
Programming in Haskell (Korean translation) - homepage
HMtyInferUsingProlog
specifying type inference for functional language usning Prolog
houkanren
Higher-Order twist to MicroKanren
ihaskell-picalc
Generating Distinguishing Formulae for non-Open Bisimilar pi-calculus processes
mininax
tiper
Type Inference Prototyping Engine from Relational specifications of type systems
kyagrd's Repositories
kyagrd/haskell
Programming in Haskell (Korean translation) - homepage
kyagrd/HMtyInferUsingProlog
specifying type inference for functional language usning Prolog
kyagrd/mininax
kyagrd/ExtensibleRecordsWithSetMembLP
Executable Relational Specification of Extensible Records with Set-Membership in Logic Programming
kyagrd/kchess
Korean chess board
kyagrd/naxPapers
Automatically exported from code.google.com/p/nax
kyagrd/trellys
Automatically exported from code.google.com/p/trellys
kyagrd/example
example
kyagrd/memscript
Command line utility for memorizing scriptures or any other text
kyagrd/MendlerTH
Template Haskell code for more generic Mendler-style coding
kyagrd/micronax
even more strip down version of nax, that is mininax without term indices
kyagrd/PostTYPES14
in consideration to submit to post TYPES 2015
kyagrd/stlc-agda
STLC-related snippets in Agda
kyagrd/swish
SWI-Prolog for SHaring: a SWI-Prolog web IDE
kyagrd/tiperSIGPLAN