Skip to content

Instantly share code, notes, and snippets.

View suica's full-sized avatar
🎯
Focusing

Sg suica

🎯
Focusing
  • NetEase
  • China
  • 21:08 (UTC +08:00)
View GitHub Profile
@suica
suica / 幻方笔试题-语言解释器.cpp
Created March 19, 2022 16:24
幻方笔试题-语言解释器
#include <bits/stdc++.h>
#define ll long long
using namespace std;
bool isEmpty(char c)
{
return c == ' ' or c == '\n' or c == '\t';
}
string inv(string c)
@suica
suica / agda.json
Last active May 10, 2021 11:04
VSCode agda snippets
{
"^r": {
"prefix": "^r",
"body": [
"ʳ"
],
"description": "^r"
},
"^l": {
"prefix": "^l",
@suica
suica / scheme_interpreter.py
Created February 4, 2021 04:46
A simplistic Scheme interpreter
from functools import reduce
from typing import List, Tuple
import operator
class SchemeList:
next = None
def __init__(self, value):
self.value = value