https://github.com/sergiobonatto/software-foundations-in-kind

Software Foundations in Kind
https://github.com/sergiobonatto/software-foundations-in-kind

Last synced: about 2 months ago
JSON representation

Software Foundations in Kind

• Host: GitHub
• URL: https://github.com/sergiobonatto/software-foundations-in-kind
• Owner: SergioBonatto
• Created: 2024-08-14T03:15:58.000Z (5 months ago)
• Default Branch: main
• Last Pushed: 2024-09-14T04:29:48.000Z (4 months ago)
• Last Synced: 2024-09-15T16:48:10.036Z (4 months ago)
• Language: HTML
• Size: 4.86 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Software Foundations in Kind

Translated from [Software Foundations in Idris](https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf) to the `Kind` language.

## Book

Kind - Book EN

Kind - Book pt-BR

Kind - Lang EN

## Running locally

```bash

mdbook serve Kind --open

# for the pt-BR version: mdbook serve Kind/ptBR --open

```

## Contribute

- Make the appropriate changes in the `./Kind/src` or `./Kind/ptBR`  folder

- Generate the translation for the other languages

- Commit at `main` branch