There are no reviews yet. Be the first to send feedback to the community and the maintainers!
tiper
Type Inference Prototyping Engine from Relational specifications of type systemshoukanren
Higher-Order twist to MicroKanrenHMtyInferUsingProlog
specifying type inference for functional language usning Prologmininax
hs-partition-example
Haskell partition library exampleeien233ds
EIEN233 ๋ฐ์ดํ๊ตฌ์กฐ Data Structurestrellys
Automatically exported from code.google.com/p/trellysbedwyr
web2020
ttt-nodejs-example
tic-tac-toe ์์ ์๋ฒExtensibleRecordsWithSetMembLP
Executable Relational Specification of Extensible Records with Set-Membership in Logic Programminghs-unification-example
Implementation of the rule-based unification algorithm U using unboundkchess
Korean chess boardblaze-latex-logging-example
Simple code example to demonstrate logging with LaTeX outputnaxPapers
Automatically exported from code.google.com/p/naxhs-nipkow-lics93
Haskell port of Nipkow's LICS 1993 paper on Higher-Order Pattern UnificationLove Open Source and this site? Check out how you can help us