kind2

kind2 copied to clipboard

This was the last changes I had made to kind2.hvm2 to make it closer to kind2.hs before i moved to another project. Its not tested on the latest bend versions,...

LunaAmora

This PR adds automatic generation of ADT constructors that could not be found by the book loading system. Two points of discussion remain: 1. If an ADT does not type...

edusporto

Implement `Bits` and `BMap`

1

edusporto

For instance, if I define a `String` object in kind (as in the stdlib), the compiled JS will generate a `const String = ...`. This overrides the default [`String`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/String) object....

mateusfccp

Consider the following kind2 program: ``` // Unit/_.kind2 data Unit | new // Unit/new.kind2 new: Unit = ~λP λnew new // Something/_.kind2 Something : * = Unit // main.kind2 main:...

mateusfccp

Implementing floats on Kind Using Float (mantissa, exponent) to represent a float. Every exponent is considered negative (because focusing on representing numbers such as .23, .89, 30.10) not in scientific...

Lorenzobattistela

use this PR branch ``` ❯ cd book/ ❯ kind2 check Dynamic thread 'main' has overflowed its stack fatal runtime error: stack overflow fish: Job 1, 'kind2 check Dynamic' terminated...

iacore