unification

implementation of the first order logic unification algorithm in Haskell

BSD-3-CLAUSE License

Stars
6
View Code on GitHub View on X
Ecosystems: Haskell

No README available, please check again later.

Related Projects
hlatex

LaTeX document builder for Haskell

06 Mar 2011 5
lambda

An exploration and implementation of the lambda calculus.

31 Jan 2016 12
combinator-interactive

06 Sep 2013 3
cloud-haskell-example

Example application with Cloud Haskell.

27 Jun 2016 5
prio

Plucky Runtime IO

14 Oct 2020 13
haskell-ebml

Pure parser for rfc-8794

19 Jan 2023 4
mtl-c

Monad transformers in CPS

09 Mar 2013 11
encoding-via

type classes and deriving via for encoding

04 Feb 2020 22
purescript-interop

Generate Purescript types from Haskell

28 Jan 2016 7
th-tc

Poor man's typechecker in Template Haskell

22 Oct 2019 9
charm

(Eventually) a reasonably complete ARM implementation in Haskell

15 Feb 2009 14
simple-haskell-minifier

Simple Haskell Minifier

25 Feb 2023 5
data-diff

An approach to diffing values and records.

29 Nov 2021 7
packedbits

are you worried about space? ME TOO! SPACE IS VERY CONCERNING

12 Dec 2017 6
beginner-error-messages

Informative error messages for common beginner misunderstandings with Haskell

29 Aug 2019 15