https://github.com/noge-labs/kind2lisp

a small one-file lisp implemented in kind2, intentionally incomplete
https://github.com/noge-labs/kind2lisp

Last synced: 3 months ago
JSON representation

a small one-file lisp implemented in kind2, intentionally incomplete

• Host: GitHub
• URL: https://github.com/noge-labs/kind2lisp
• Owner: noge-labs
• License: mit
• Created: 2023-02-02T05:04:49.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2023-02-02T05:15:55.000Z (almost 2 years ago)
• Last Synced: 2024-06-30T06:49:28.486Z (5 months ago)
• Homepage:
• Size: 4.88 KB
• Stars: 10
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Kind2lisp

## Usage

1. First, install [Kind2](https://github.com/HigherOrderCO/kind) 

2. Clone the [Wikind](https://github.com/HigherOrderCO/Wikind) package repository 

3. Move `Lisp.kind2` file to `Wikind` folder

4. Run `kind2 run Lisp.kind2`