ocaml-gospel gospel General · Discussions · GitHub

Support for strings/bytes and extending Seq
Ideas edwintorok

Sort by: Latest activity

Categories

General Discussions

Chat about anything and everything here

You must be logged in to vote

specifying addition on floating-point values

mohittkr started Dec 5, 2023 in General

1
You must be logged in to vote

Type checking error when using GOSPEL

mohittkr started Dec 5, 2023 in General

1
You must be logged in to vote

Aliasing of exception names

fpottier started Feb 28, 2022 in General

3
You must be logged in to vote

Logical reflection of OCaml values

fpottier started Feb 16, 2022 in General

8
You must be logged in to vote

Logical reflection of arrays / treatment of aliasing

fpottier started Feb 16, 2022 in General

8