dicej

Classes
* Keith Devlin - Introduction to Mathematical Thinking - https://www.coursera.org/learn/mathematical-thinking
* Michael Genesereth - Introduction to Logic - https://www.coursera.org/learn/logic-introduction
* Robert Harper - Homotopy Type Theory - http://www.cs.cmu.edu/~rwh/courses/hott/

Books and Articles
* Benjamin C. Pierce - Types and Programming Languages - https://www.cis.upenn.edu/~bcpierce/tapl/
* x775 - Introduction to Datalog - https://x775.net/2019/03/18/Introduction-to-Datalog.html
* Bartosz Milewski - Category Theory For Programmers - https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
* Benjamin C. Pierce et al. - Software Foundations - https://softwarefoundations.cis.upenn.edu/

dicej

use futures::{
    future::{Future, IntoFuture},
    sync::oneshot,
};
use std::{
    collections::VecDeque,
    sync::{Arc, Mutex},
};

struct Inner<T> {

dicej

#!/bin/sh

# remove all current rules
iptables -F
iptables -X
iptables -t nat -F
iptables -t nat -X

# drop all incoming traffic by default
iptables -P INPUT DROP

dicej

diff --git a/src/system/windows/signal.cpp b/src/system/windows/signal.cpp
index 23d57b9..0114474 100644
--- a/src/system/windows/signal.cpp
+++ b/src/system/windows/signal.cpp
@@ -90,6 +90,24 @@ struct MINIDUMP_EXCEPTION_INFORMATION {
   LPEXCEPTION_POINTERS exception;
   BOOL exceptionInCurrentAddressSpace;
 };
+
+struct SYMBOL_INFO {