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 systemshaskell
Programming in Haskell (Korean translation) - homepagehoukanren
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 boardnaxPapers
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