kyagrd/mininax

Stars
2
Language
Haskell
License
BSD 2-Clause "Sim...
Created about 11 years ago
Updated almost 9 years ago

kyagrd/mininax

kyagrd

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 systems

haskell

Programming in Haskell (Korean translation) - homepage

houkanren

Higher-Order twist to MicroKanren

HMtyInferUsingProlog

specifying type inference for functional language usning Prolog

hs-partition-example

Haskell partition library example

eien233ds

EIEN233 데이타구조 Data Structures

trellys

Automatically exported from code.google.com/p/trellys

bedwyr

web2020

ttt-nodejs-example

tic-tac-toe 예제 서버

ExtensibleRecordsWithSetMembLP

Executable Relational Specification of Extensible Records with Set-Membership in Logic Programming

hs-unification-example

Implementation of the rule-based unification algorithm U using unbound

kchess

Korean chess board

blaze-latex-logging-example

Simple code example to demonstrate logging with LaTeX output

naxPapers

Automatically exported from code.google.com/p/nax

hs-nipkow-lics93

Haskell port of Nipkow's LICS 1993 paper on Higher-Order Pattern Unification