This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
### 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)) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
const Example = () => { | |
const { control, handleSubmit, errors } = useForm() | |
const onSubmit = data => console.log(data) | |
console.log(errors) | |
return ( | |
<Form onSubmit={handleSubmit(onSubmit)}> | |
<Controller |
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:
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// 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 () { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"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 | |
}, |