zant

type Eq<A, B, C> = [B] extends [C] // If B is assignable to C
  ? [C] extends [B] // AND C is assignable to B
    ? A // Then return A
    : never // Else (they are not mutually assignable), return never
  : never; // Else (B is not assignable to C), return never

// parametrized over monads and functors via currying
export type KliesliCategory<
  C extends T3,
  M extends Monad<C, Functor<C>>,

zant

Definition negb (b: bool) : bool :=
  match b with
  | true => false
  | false => true
  end.

Definition orb (b1: bool) (b2: bool) : bool :=
  match b1 with
  | false => b2
  | true => true

zant

### A Pluto.jl notebook ###
# v0.11.14

using Markdown
using InteractiveUtils

# This Pluto notebook uses @bind for interactivity. When running this notebook outside of Pluto, the following 'mock version' of @bind gives bound variables a default value (instead of an error).
macro bind(def, element)
    quote
        local el = $(esc(element))

zant

We couldn’t find that file to show.

zant

const Example = () => {

 const { control, handleSubmit, errors } = useForm()

  const onSubmit = data => console.log(data)
  console.log(errors)

  return (
    <Form onSubmit={handleSubmit(onSubmit)}>
      <Controller

zant

Keybase proof

I hereby claim:

• I am grdnrt on github.
• I am gonzarodriguezt (https://keybase.io/gonzarodriguezt) on keybase.
• I have a public key ASAbVF65ROMFLboQ_INN39fnu_aV0uJvXJhRKmCubJXmFAo

To claim this, I am signing this object:

zant

// script to organize files with the form '1.0' to 'chapter1/1.0'

#include <stdio.h>
#include <iostream>
#include <filesystem>
#include <regex>

namespace fs = std::filesystem;

int main () {

zant

inoremap jk <esc>
inoremap kj <esc>

call plug#begin()

Plug 'ayu-theme/ayu-vim'
Plug 'scrooloose/nerdtree'
Plug 'HerringtonDarkholme/yats.vim' " TS Syntax
Plug 'tiagofumo/vim-nerdtree-syntax-highlight'
Plug 'christoomey/vim-tmux-navigator'

zant

{
  "workbench.colorTheme": "Material Theme Ocean High Contrast",
  "workbench.statusBar.visible": false,
  "javascript.updateImportsOnFileMove.enabled": "always",
  "window.zoomLevel": 0,
  "editor.fontSize": 14,
  "editor.fontFamily": "Fira Code, Menlo, Monaco, 'Courier New', monospace",
  "files.exclude": {
    "**/node_modules": true
  },