https://github.com/kazu-yamamoto/ski

Emulator of the SKI combinator system
https://github.com/kazu-yamamoto/ski

Last synced: 7 days ago
JSON representation

Emulator of the SKI combinator system

• Host: GitHub
• URL: https://github.com/kazu-yamamoto/ski
• Owner: kazu-yamamoto
• Created: 2010-05-24T06:12:56.000Z (over 14 years ago)
• Default Branch: master
• Last Pushed: 2011-01-23T05:33:22.000Z (almost 14 years ago)
• Last Synced: 2024-10-11T23:56:08.387Z (about 1 month ago)
• Language: Haskell
• Homepage:
• Size: 97.7 KB
• Stars: 5
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

        
SKI combinator emulator by Kazu Yamamoto

Commands:

  get   -- show the table of combinator definition

  clear -- initialize the table of combinator definition

  def   -- define combinator

  eval  -- evaluate expression

    % ghci Command.hs

    > eval "((S(KS))K)xyz"

    (x(yz))

    > eval "S(KS)Kxyz"

    (x(yz))

    % ghci Command.hs

    > get

    fromList [('K',K),('S',S)]

    > def "I=SKK"

    > get

    fromList [('I',((SK)K)),('K',K),('S',S)]

    > eval "Ix"

    x

    > def "B=S(KS)K"

    > eval "Bxyz"

    (x(yz))

    > clear

    > get

    fromList [('K',K),('S',S)]

Combinator definitions:

    def "I=SKK"

    def "B=S(KS)K"

    def "C=S(BBS)(KK)"

    def "T=CI"

    def "W=ST"

    def "M=SII"

    def "L=CBM"

    def "Y=SLL"