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
#include <iostream> | |
#include <sstream> | |
#include <string> | |
#include <cmath> | |
#include <cstdio> | |
#include <vector> | |
#include <map> | |
#include <set> | |
#include <queue> | |
#include <deque> |
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
#include <iostream> | |
#include <sstream> | |
#include <string> | |
#include <cmath> | |
#include <cstdio> | |
#include <vector> | |
#include <map> | |
#include <set> | |
#include <queue> | |
#include <deque> |
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
module FirstOrderUnificationbyStructuralRecursion where | |
open import Relation.Binary.PropositionalEquality | |
open Relation.Binary.PropositionalEquality.≡-Reasoning | |
open import Data.Nat | |
open import Data.Product | |
open import Data.Empty | |
open import Data.Fin | |
open import Data.Bool | |
data Maybe (A : Set) : Set where |
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
#include <iostream> | |
#include <sstream> | |
#include <string> | |
#include <cmath> | |
#include <cstdio> | |
#include <vector> | |
#include <map> | |
#include <set> | |
#include <queue> | |
#include <deque> |
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
#include<iostream> | |
#include<sstream> | |
#include<string> | |
#include<cmath> | |
#include<cstdio> | |
#include<vector> | |
#include<map> | |
#include<set> | |
#include<queue> | |
#include<deque> |
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
#include<iostream> | |
#include<sstream> | |
#include<string> | |
#include<cmath> | |
#include<cstdio> | |
#include<vector> | |
#include<map> | |
#include<set> | |
#include<queue> | |
#include<deque> |
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
#include<iostream> | |
#include<sstream> | |
#include<string> | |
#include<cmath> | |
#include<cstdio> | |
#include<vector> | |
#include<map> | |
#include<set> | |
#include<queue> | |
#include<deque> |
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
setInterval( | |
function(){ | |
var pokes = documentgetElementsByTagName('a') | |
for (var i = 0; i<pokes.length; i++) { | |
var e = pokes[i] | |
if(e.getAttribute('ajaxify')&&e.getAttribute('ajaxify').match(/^\/ajax\/pokes\//)){ | |
console.log("POKE") | |
e.click()} }}, 1000) |
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
module FUSR where | |
open import Relation.Binary.PropositionalEquality | |
open Relation.Binary.PropositionalEquality.≡-Reasoning | |
open import Data.Nat | |
open import Data.Product | |
open import Data.Empty | |
open import Data.Fin | |
open import Data.Sum | |
open import Data.Bool | |
import Level |
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
module Infer where | |
open import Relation.Binary.PropositionalEquality | |
open Relation.Binary.PropositionalEquality.≡-Reasoning | |
open import Data.Nat | |
open import Data.Vec | |
open import Data.Product | |
open import Data.Empty | |
open import Data.Fin hiding (_+_) | |
open import Data.Sum | |
open import Data.Bool |
OlderNewer