/explore
|
You are here 
|
owensd.io | ||
| | | | |
gist.github.com
Azure Functions - Part 4: Working with Persistent Data and Visual Studio Code - 1 - afp4_1.cs |
|
| | | | | ||
| | | | |
jamesmills.co.uk
Every now and then you will probably find yourself in the need to use a custom function in your Laravel application. I cannot think of one project which I have worked on where I haven't needed to add a quick and easy custom function. Our controllers don't contain actions outside of the 7 resource actions [...] |
|
| | | | | ||
| | | | |
brianreiter.org
Normally, the macOS Terminal.app title bar includes the current directory name. When you connect to a remote host with openssh on macOS, the title bar gets updated to be "$(whoami)@$(hostname): $(pwd)" instead. Unfortunately when you exit ssh, the terminal title bar is not restored and continues to say you are on a remote host. Once... |
|
| | | | | ||
| | | | |
github.com
The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. |
|
| | | |||
