Takuma Ishikawa
Takuma Ishikawa
Currently, we cannot construct a value of a variant type defined in a module, outside the module. I want to use these constructors. Example: ```satysfi module M = struct type...
I noticed that the following code produces an odd error. ```satysfi type int = A module M : sig val a : A end = struct let a = A...
- [x] Wait for Batteries' support for testing (ocaml-batteries-team/batteries-included#835) - [x] Replace uCoreLib (#40) - [x] Fix the font problem (#13) - [ ] Fix the image problem for `tests/first.saty`...
## What's new? This PR implements more detailed version strings. ```sh-session $ opam pin remove satysfi $ git clone -b nekketsuuu-watermarking https://github.com/nekketsuuu/SATySFi.git $ cd SATySFi $ git tag -a -m...
SATySFi v0.0.4 uses `@require` and `@import` to load external files. But these names are confusing to me; I cannot remember which one is for global or local. Therefore I want...
In function arguments, we can use `let`, `let-rec`, and `let-math`. However, we cannot use `let-inline` or `let-block` (syntax error at parser). Is this a design choice of SATySFi, or a...
I noticed that optional arguments are sometimes not supported (syntax error). Example: ```satysfi % These are good. let f ?:x y = () let-inline ctx \f ?:x y = read-inline...
Currently, it is necessary to write `in` before a document-type value in a `.saty` file even if there is only a definition of a module in "preamble". ```satysfi @require: stdjareport...
I installed Coq with opam's local switch (i.e. Run `opam switch create ./` and then run `opam pin add coq 8.13.2` etc.). If I launch VSCode under the local switch,...
The package labours v10.7.2, the current latest version of labours, cannot be installed by Python 3.8 and 3.9 using `pip3 install -e ./python` because its dependent library seriate 1.1.2 depends...