Skip to content

Instantly share code, notes, and snippets.

type connType = Wifi
type login =
| Admin
| Regular
type connected = {
connType,
login,
}
type conn =
| Connected(connected)
@farukg
farukg / gcc.sh
Last active August 27, 2021 03:28
fast temp. solution when getting errors using gcc >= 10 & opam switch
#! /bin/sh
eval /usr/bin/gcc -fcommon '"$@"'
@farukg
farukg / History\1a15bdf8\1T8V.json
Last active March 23, 2022 10:26
terminal output regarding freezing of ubuntu while trying to drag & drop
{
"jira.baseUrl": "https://administration-intelligence.atlassian.net",
"jira.username": "fguerlek@ai-ag.de",
"jira.apiToken": "IKhyyZWOEpWb9kpEAxrp223F",
"editor.accessibilitySupport": "off",
"files.hotExit": "onExitAndWindowClose",
"global-config.folder": "/home/fg/.vscode-insiders/.vscode",
"global-config.links": [
"settings.json"
],
@farukg
farukg / cell.rb
Last active August 29, 2015 14:24
sublinks
def sublinks(opts={}, &block)
content_tag('li') do
concept('some_sublink/cell', nil, title: opts[:title], icon_name: opts[:icon_name]).() +
content_tag('ul', block)
end
end