GitXplorerGitXplorer
m

Kanren.swift

public
12 stars
1 forks
0 issues

Commits

List of commits on branch master.
Unverified
5e10c2aba03702e7fb8fdc627ce7e053e81c181f

Update for Xcode 8.0.0 GM

mmdiep committed 8 years ago
Unverified
7578f80456a305a8052b64ba5f561fd75c063b0b

Add missing indentation

mmdiep committed 8 years ago
Unverified
7bd51fdb4642a8e05d5d912aeadebb05494d5cca

Use ≡ in µKanren

mmdiep committed 8 years ago
Unverified
2ee6e50c5c59deda5880a0788cf3c89e6d90fe30

Implement miniKanren

mmdiep committed 8 years ago
Unverified
75cfccea95bfec6a2bbc491914651d42694ef0a5

Update for Xcode 8ß6

mmdiep committed 8 years ago
Unverified
7a4b87bed707d106d6af71d9a5d1f4f6b864822c

Update for Xcode 8ß4

mmdiep committed 8 years ago

README

The README file for this repository.

Kanren.swift

Logic Programming with Swift Playgrounds

  • miniKanren

    The mother of all Kanrens.

  • µKanren

    A minimal Kanren that shows how simple logic programming can be.