José E. Solsona
José E. Solsona
Can i hide the hours field?. I need a "mm:ss" format. Thanks
Hello, Typing accented characters (á, é, etc.) inside comments result in a PDF output omitting them. I tried to add ``` \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} ``` to tlatex.sty and set utf-8 from...
I have tried to install different combinations of PS-PHP but they all failed with the same "PHP Fatal error" when launching the installer script. For example: > ... > prestashop-1.7...
Hello!. Could be possible to load a module from other notebook?. For example, read the module content from a cell in another notebook, so it is available in the current...
Hello. Im getting the following error when trying to run any cell with TLA+ Kernel (python 3 kernel works fine): ``` Traceback (most recent call last): File "C:\Users\foo\AppData\Local\Programs\Python\Python38-32\lib\site-packages\tlaplus_jupyter\kernel.py", line 104,...
I'm testing 1D barcode scanning on a Moto G 1st gen. I need the users of my application to be able to scan barcodes on products. I find 1D BarCode...
Hello. Im trying to represent ∃x∀y combining dependent pairs and functions, but this produces some strange errors. For example ```haskell {-@ test :: (x::a, y:b -> { true }) @-}...
Hello!. It seems LH expects me to write a `Right` case branch in the following function `test`: ```haskell {-@ LIQUID "--reflection" @-} module Test where data Zero -- Uninhabited datatype...
Im trying to write some proofs in point free style, but it seems i can't convince LH of my work. I present a simple example next. Let `f:b->c`, `g:a->b`, `h:a->c`...
Hello!. The following code: ``` {-@ LIQUID "--reflection" @-} module Test where import Prelude hiding ((.)) -- whatever ``` fails with: ``` Fixpoint.Types.dummyLoc:1:1: error: * Unknown variable `GHC.Base..` wiredAxioms *...